Ticket #2094: toobar_validator.patch
| File toobar_validator.patch, 1.2 KB (added by , 17 years ago) |
|---|
-
src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java
382 382 private void loadActions() { 383 383 rootActionsNode.removeAllChildren(); 384 384 loadAction(rootActionsNode, Main.main.menu); 385 // Quick fix for validator plugin. In future validator action should be in menu 386 if (actions.containsKey("validator")) { 387 rootActionsNode.add(new DefaultMutableTreeNode(actions.get("validator"))); 388 } 385 389 rootActionsNode.add(new DefaultMutableTreeNode(null)); 386 390 actionsTree.updateUI(); 387 391 actionsTree.setRootVisible(false); … … 389 393 } 390 394 391 395 private static final String[] deftoolbar = {"open", "save", "exportgpx", "|", 392 "download", "upload", "|", "undo", "redo", "|", "preference"}; 396 "download", "upload", "|", "undo", "redo", "|", "preference"}; 397 393 398 private Collection<String> getToolString() { 394 399 return Main.pref.getCollection("toolbar", Arrays.asList(deftoolbar)); 395 400 }
