merge with dev

2019-02-26 17:44:13 +01:00
parent 8ad68da901 cd6da9db0c
commit 8e0eb97eb6
49 changed files with 40 additions and 365 deletions
--- a/rtgui/paramsedited.h
+++ b/rtgui/paramsedited.h
@@ -978,7 +978,6 @@ public:
    bool ff_AutoClipControl;
    bool ff_clipControl;
    bool exPos;
-    bool exPreser;

    bool isUnchanged() const;
 };