Improve look of favorites preferences

Set a fixed width for the lists, embed the preferences in a
horizontally-scrollable window, and open the preferences window on the
general tab.
This commit is contained in:
Lawrence Lee
2021-11-25 15:35:02 -08:00
parent c6a45ae765
commit fde15eaebb
3 changed files with 10 additions and 8 deletions

View File

@@ -67,6 +67,7 @@ Preferences::Preferences(RTWindow *rtwindow)
, newFont(false)
, newCPFont(false)
, toolLocationPreference(nullptr)
, swFavorites(nullptr)
{
moptions.copyFrom(&options);
@@ -500,7 +501,12 @@ Gtk::Widget *Preferences::getFavoritesPanel()
if (!toolLocationPreference) {
toolLocationPreference = Gtk::manage(new ToolLocationPreference(moptions));
}
return toolLocationPreference;
if (!swFavorites) {
swFavorites = Gtk::manage(new Gtk::ScrolledWindow());
swFavorites->set_policy(Gtk::POLICY_AUTOMATIC, Gtk::POLICY_NEVER);
swFavorites->add(*toolLocationPreference);
}
return swFavorites;
}
Gtk::Widget *Preferences::getDynamicProfilePanel()