Ticket #792: preset_bug.patch

File preset_bug.patch, 1.8 KB (added by sahoff@…, 18 years ago)
  • src/org/openstreetmap/josm/gui/tagging/TaggingPreset.java

     
    312312                putValue(Action.NAME, name);
    313313                putValue("toolbar", "tagging_"+name);
    314314        }
     315       
     316        /**
     317         * Change the display name without changing the toolbar value.
     318         */
     319        public void setDisplayName(String name) {
     320                putValue(Action.NAME, name);
     321        }
    315322
    316323        /**
    317324         * Called from the XML parser to set the icon
  • src/org/openstreetmap/josm/gui/preferences/TaggingPresetPreference.java

     
    128128                {
    129129                        HashMap<String,JMenu> submenus = new HashMap<String,JMenu>();
    130130                        for (final TaggingPreset p : taggingPresets) {
    131                                 if (p.getValue(Action.NAME).equals(" ")) {
     131                                String name = (String) p.getValue(Action.NAME);
     132                                if (name.equals(" ")) {
    132133                                        Main.main.menu.presetsMenu.add(new JSeparator());
    133134                                } else {
    134                                         String name = (String) p.getValue(Action.NAME);
    135135                                        String[] sp = name.split("/");
    136136                                        if (sp.length <= 1) {
    137137                                                Main.main.menu.presetsMenu.add(new JMenuItem(p));
    138138                                        } else {
    139                                                 p.setName(sp[1]);
     139                                                p.setDisplayName(sp[1]);
    140140                                                JMenu submenu = submenus.get(sp[0]);
    141141                                                if (submenu == null) {
    142142                                                        submenu = new JMenu(sp[0]);
    143143                                                        submenus.put(sp[0], submenu);
    144144                                                        Main.main.menu.presetsMenu.add(submenu);
    145145                                                }
    146                                                 submenu.add(new JMenuItem(p));
     146                                                if (sp[1].equals(" "))
     147                                                        submenu.add(new JSeparator());
     148                                                else
     149                                                        submenu.add(p);
    147150                                        }
    148151                                }
    149152                        }