--- jeuclid-3.1.1.orig/jeuclid-mathviewer/src/main/java/net/sourceforge/jeuclid/app/mathviewer/MathViewer.java	2008-06-03 12:02:46.000000000 +0200
+++ jeuclid-3.1.1/jeuclid-mathviewer/src/main/java/net/sourceforge/jeuclid/app/mathviewer/MathViewer.java	2008-08-15 20:11:59.000000000 +0200
@@ -86,13 +86,13 @@
             public void run() {
                 final MainFrame mainFrame = new MainFrame();
                 mainFrame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
-                if (MathViewer.OSX) {
+/*                if (MathViewer.OSX) {
                     final Application a = Application.getApplication();
                     a.setEnabledAboutMenu(true);
                     a.setEnabledPreferencesMenu(true);
                     a.addApplicationListener(new MainFrameAppListener(
                             mainFrame));
-                }
+                }*/
                 if (MathViewer.source != null) {
                     mainFrame.loadFile(MathViewer.source);
                 }