From 85025c3ba8029484275189222f9d60f8b4dbf061 Mon Sep 17 00:00:00 2001 From: Paul Woelfel Date: Thu, 10 Nov 2016 22:53:47 +0100 Subject: [PATCH] use tools menu --- .../josm/plugins/areaselector/AreaSelectorPlugin.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/org/openstreetmap/josm/plugins/areaselector/AreaSelectorPlugin.java b/src/org/openstreetmap/josm/plugins/areaselector/AreaSelectorPlugin.java index c5e9473..f23eafc 100644 --- a/src/org/openstreetmap/josm/plugins/areaselector/AreaSelectorPlugin.java +++ b/src/org/openstreetmap/josm/plugins/areaselector/AreaSelectorPlugin.java @@ -37,10 +37,10 @@ public AreaSelectorPlugin(PluginInformation info) { ctx.updateLoggers(); areaSelectorAction = new AreaSelectorAction(Main.map); - MainMenu.add(Main.main.menu.moreToolsMenu, areaSelectorAction); + MainMenu.add(Main.main.menu.toolsMenu, areaSelectorAction); addressDialogAction = new AddressDialogAction(Main.map); - MainMenu.add(Main.main.menu.moreToolsMenu, addressDialogAction); + MainMenu.add(Main.main.menu.toolsMenu, addressDialogAction); } /**