More style fine tuning, including for the Preferences window

2016-11-14 03:06:49 +01:00
parent 6f3f46a4fb
commit 2b913bf213
6 changed files with 100 additions and 28 deletions
--- a/rtgui/preferences.cc
+++ b/rtgui/preferences.cc
@@ -54,7 +54,6 @@ Preferences::Preferences  (RTWindow *rtwindow)
    set_default_size (options.preferencesWidth, options.preferencesHeight);

    Gtk::Box* mainBox = get_content_area ();
-    mainBox->set_spacing(8);
    //set_has_separator (false);

    Gtk::Notebook* nb = Gtk::manage (new Gtk::Notebook ());