another minor fix for gtkmm breakage with Gtk::Settings::get_default() in not-entirel...