--- 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);

                 }