diff options
| author | Robin Gareus <robin@gareus.org> | 2020-05-03 20:50:52 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2020-05-03 20:50:52 +0200 |
| commit | acb8f9eb28e487daaed22b827e48c31fb0df2465 (patch) | |
| tree | f2e56e82d0818ce66aa7bcd0286623214c0dadf1 /gtk2_ardour | |
| parent | d387a6d664cd53728faa3e0d92de3fd3f4185269 (diff) | |
Scale plugin-manager default window size #8079
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/plugin_selector.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gtk2_ardour/plugin_selector.cc b/gtk2_ardour/plugin_selector.cc index 0384a6281d..1afe46d182 100644 --- a/gtk2_ardour/plugin_selector.cc +++ b/gtk2_ardour/plugin_selector.cc @@ -313,8 +313,11 @@ PluginSelector::PluginSelector (PluginManager& mgr) to_be_inserted_vbox->pack_start (*add_remove, false, false); to_be_inserted_vbox->set_size_request (200, -1); + int min_height = std::max (600.f, rintf(600.f * UIConfiguration::instance().get_ui_scale())); + Gtk::Table* table = manage(new Gtk::Table(3, 3)); - table->set_size_request(-1, 600); + table->set_size_request(-1, min_height); + table->attach (scroller, 0, 3, 0, 5); /* this is the main plugin list */ table->attach (*search_frame, 0, 1, 6, 7, FILL, FILL, 5, 5); table->attach (*tag_frame, 0, 1, 7, 8, FILL, FILL, 5, 5); |