Changeset 27877 in osm for applications/editors/josm
- Timestamp:
- 2012-02-19T15:54:06+01:00 (13 years ago)
- Location:
- applications/editors/josm/plugins
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/mirrored_download/src/mirrored_download/MirroredDownloadPlugin.java
r27679 r27877 28 28 { 29 29 super(info); 30 refreshMenu(); 31 } 32 33 public static void refreshMenu() 34 { 35 MainMenu menu = Main.main.menu; 36 37 if (jMenu == null) 38 jMenu = menu.addMenu(marktr("Mirrored Download"), KeyEvent.VK_P, menu.defaultMenuPos, "help"); 39 else 40 jMenu.removeAll(); 41 42 jMenu.addSeparator(); 43 jMenu.add(new JMenuItem(new DownloadAction2())); 44 jMenu.add(new JMenuItem(new UrlSelectionAction())); 45 setEnabledAll(true); 46 } 47 48 private static void setEnabledAll(boolean isEnabled) 49 { 50 for(int i=0; i < jMenu.getItemCount(); i++) { 51 JMenuItem item = jMenu.getItem(i); 52 53 if(item != null) item.setEnabled(isEnabled); 54 } 30 MainMenu.add(Main.main.menu.fileMenu, new DownloadAction2()); 31 MainMenu.add(Main.main.menu.fileMenu, new UrlSelectionAction()); 55 32 } 56 33 … … 60 37 return downloadUrl; 61 38 } 39 62 40 public static void setDownloadUrl(String downloadUrl_) { 63 41 downloadUrl = downloadUrl_; -
applications/editors/josm/plugins/public_transport/src/public_transport/PublicTransportPlugin.java
r26168 r27877 36 36 37 37 if (jMenu == null) 38 jMenu = menu.addMenu(marktr("Public Transport"), KeyEvent.VK_ P, menu.defaultMenuPos, "help");38 jMenu = menu.addMenu(marktr("Public Transport"), KeyEvent.VK_COMMA, menu.defaultMenuPos, "help"); 39 39 else 40 40 jMenu.removeAll();
Note:
See TracChangeset
for help on using the changeset viewer.