Changeset 599

Timestamp:

01/31/10 14:00:57 (3 years ago)

Author:

stefan

Message:

added menu point for editing global settings

Files:

• trunk/src/jlatexeditor/JLatexEditorJFrame.java (modified) (2 diffs)

trunk/src/jlatexeditor/JLatexEditorJFrame.java

@@ -321 +321 @@
     settingsMenu.add(fontMenuItem);  
 
+    JMenuItem globalSettings = new JMenuItem("Global Settings");
+    globalSettings.setActionCommand("global settings");
+    globalSettings.setMnemonic('G');
+    globalSettings.addActionListener(this);
+    settingsMenu.add(globalSettings);
+
     JMenu helpMenu = new JMenu("Help");
     helpMenu.setMnemonic('H');
@@ -768 +774 @@
       SCEFontWindow fontDialog = (SCEFontWindow) e.getSource();
       changeFont(fontDialog.getFontName(), fontDialog.getFontSize());
+    } else
+    if(action.equals("global settings")){
+      open(new FileDoc(GProperties.CONFIG_FILE));
     } else
     if(action.equals("update")){