Opened 18 years ago
Closed 17 years ago
#459 closed enhancement (fixed)
A couple of interface changes
Reported by: | Owned by: | framm | |
---|---|---|---|
Priority: | trivial | Milestone: | |
Component: | Core | Version: | |
Keywords: | Cc: |
Description
Changine Files menu to File and adding a separate. Slightly more compliant with http://java.sun.com/products/jlf/ed2/book/
Index: src/org/openstreetmap/josm/gui/MainMenu.java
===================================================================
--- src/org/openstreetmap/josm/gui/MainMenu.java (revision 436)
+++ src/org/openstreetmap/josm/gui/MainMenu.java (working copy)
@@ -79,7 +79,7 @@
public final JMenu editMenu = new JMenu(tr("Edit"));
public final JMenu viewMenu = new JMenu(tr("View"));
public final JMenu helpMenu = new JMenu(tr("Help"));
- public final JMenu fileMenu = new JMenu(tr("Files"));
+ public final JMenu fileMenu = new JMenu(tr("File"));
public final JMenu connectionMenu = new JMenu(tr("Connection"));
public final JMenu toolsMenu = new JMenu(tr("Tools"));
public final JMenu presetsMenu = new JMenu(tr("Presets"));
@@ -91,6 +91,7 @@
fileMenu.setMnemonic('F');
fileMenu.add(newAction);
fileMenu.add(open);
+ fileMenu.addSeparator();
fileMenu.add(save);
fileMenu.add(saveAs);
fileMenu.add(gpxExport);
fixed in JOSM revision #460 - BTW: thanks for the patch and the link to the JAVA HIG!