Added support for GDK_SCROLL_SMOOTH in some widgets

see #4781, #4786
2018-09-15 21:14:48 +02:00
parent caffc3a23d
commit 0d61f14bae
9 changed files with 83 additions and 31 deletions
--- a/rtgui/options.cc
+++ b/rtgui/options.cc
@@ -1301,17 +1301,10 @@ void Options::readFromFile(Glib::ustring fname)
                    FileBrowserToolbarSingleRow = keyFile.get_boolean("GUI", "FileBrowserToolbarSingleRow");
                }

-#if defined(__linux__) && ((GTK_MAJOR_VERSION == 3 && GTK_MINOR_VERSION > 18) || GTK_MAJOR_VERSION > 3)
-                // Cannot scroll toolbox with mousewheel when HideTPVScrollbar=true #3413
-                hideTPVScrollbar = false;
-#else
-
                if (keyFile.has_key("GUI", "HideTPVScrollbar")) {
                    hideTPVScrollbar = keyFile.get_boolean("GUI", "HideTPVScrollbar");
                }

-#endif
-
                if (keyFile.has_key("GUI", "UseIconNoText")) {
                    UseIconNoText = keyFile.get_boolean("GUI", "UseIconNoText");
                }