merge with Dev

2017-09-25 11:22:24 +02:00
parent eeff965da7 1e775bb9f0
commit 8b7c3ab0a5
7 changed files with 37 additions and 158 deletions
--- a/rtgui/preferences.h
+++ b/rtgui/preferences.h
@@ -280,8 +280,10 @@ public:
    void clearThumbImagesPressed ();
    void clearAllPressed ();

+    void behAddSetRadioToggled (const Glib::ustring& path, bool add);
    void behAddRadioToggled (const Glib::ustring& path);
    void behSetRadioToggled (const Glib::ustring& path);
+    void behAddSetAllPressed (bool add);
    void behAddAllPressed ();
    void behSetAllPressed ();