rename Experimental menu to Tools and merge with Edit

2019-05-20 15:42:36 +02:00
parent fe618bfef1
commit f7b1ab6843
3 changed files with 72 additions and 70 deletions
--- a/src/app.h
+++ b/src/app.h
@@ -173,7 +173,7 @@ public:
    void init_menu_file();
    void init_menu_edit();
    void init_menu_layer();
-    void init_menu_experimental();
+    void init_menu_tools();
    void init_menu_about();
    void dialog_usermanual();
    void dialog_changelog();