diff options
author | Robin Gareus <robin@gareus.org> | 2017-05-04 19:15:18 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-05-04 19:15:18 +0200 |
commit | 95f225df8f2df2b0eb530cc65e9e6007f3ddd9f1 (patch) | |
tree | bd8787e3d4e9a958969d9ffc0c56d215ac003ba6 /gtk2_ardour/group_tabs.cc | |
parent | 4aeb086fe342e348cf149bfd45e6f6b0cea87aa5 (diff) |
Scaleable group-tabs: use Pango to layout text, scale with UI #7331
Diffstat (limited to 'gtk2_ardour/group_tabs.cc')
-rw-r--r-- | gtk2_ardour/group_tabs.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gtk2_ardour/group_tabs.cc b/gtk2_ardour/group_tabs.cc index 1efca69d12..3adce69bf9 100644 --- a/gtk2_ardour/group_tabs.cc +++ b/gtk2_ardour/group_tabs.cc @@ -86,9 +86,8 @@ GroupTabs::set_session (Session* s) void GroupTabs::on_size_request (Gtk::Requisition *req) { - /* Use a dummy, small width and the actual height that we want */ - req->width = 16; - req->height = 16; + req->width = std::max (16.f, rintf (16.f * UIConfiguration::instance().get_ui_scale())); + req->height = std::max (16.f, rintf (16.f * UIConfiguration::instance().get_ui_scale())); } bool |