Ticket #792: preset_bug.patch

File preset_bug.patch, 1.8 KB (added by sahoff@…, 4 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                        }