Simplify interface settings with hide/show tools

2020-07-06 12:26:09 +02:00
parent 67bfc351b2
commit 4d49d142aa
10 changed files with 153 additions and 2 deletions
--- a/rtgui/paramsedited.h
+++ b/rtgui/paramsedited.h
@@ -390,6 +390,7 @@ public:
        // Control spot settings
        bool name;
        bool isvisible;
+        bool prevMethod;
        bool shape;
        bool spotMethod;
        bool wavMethod;