From issue #3446: remove the "Use system theme" option + slight rework

of the Preferences general panel.
2016-11-17 01:50:03 +01:00
parent 8801570693
commit 0ab931c287
7 changed files with 16 additions and 58 deletions
--- a/rtgui/main.cc
+++ b/rtgui/main.cc
@@ -307,7 +307,7 @@ int main(int argc, char **argv)

    Glib::RefPtr<Gdk::Screen> screen = Gdk::Screen::get_default();

-    if (!options.useSystemTheme && screen) {
+    if (screen) {
        Gtk::Settings::get_for_screen(screen)->property_gtk_theme_name() = "Adwaita";
        Gtk::Settings::get_for_screen(screen)->property_gtk_application_prefer_dark_theme() = true;