From acb8f9eb28e487daaed22b827e48c31fb0df2465 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Sun, 3 May 2020 20:50:52 +0200 Subject: [PATCH] Scale plugin-manager default window size #8079 --- gtk2_ardour/plugin_selector.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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);