diff options
| author | Robin Gareus <robin@gareus.org> | 2015-04-20 05:35:23 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-04-20 20:45:36 +0200 |
| commit | 494009a6e28bafac071a3160fbf385c6a076ae8e (patch) | |
| tree | 84b02a17fa27d94903f6816b9d5df477cdb1db55 /gtk2_ardour/mixer_strip.cc | |
| parent | 00f06ca9e91470f92d8f6d5ef83cbae069904f51 (diff) | |
towards scaleable meter and mixer UI
somewhat hacky solution, but there's no good central point to
control this and get integer rounding/summing, is there?
Diffstat (limited to 'gtk2_ardour/mixer_strip.cc')
| -rw-r--r-- | gtk2_ardour/mixer_strip.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gtk2_ardour/mixer_strip.cc b/gtk2_ardour/mixer_strip.cc index 6225f71b89..ac0cb80dc3 100644 --- a/gtk2_ardour/mixer_strip.cc +++ b/gtk2_ardour/mixer_strip.cc @@ -684,6 +684,8 @@ MixerStrip::set_width_enum (Width w, void* owner) set_button_names (); + const double scale = std::max(1.0, ARDOUR_UI::config()->get_font_scale() / 102400.); + switch (w) { case Wide: @@ -704,7 +706,7 @@ MixerStrip::set_width_enum (Width w, void* owner) } - set_size_request (max (110, gpm.get_gm_width()+5), -1); + set_size_request (max (110 * scale, gpm.get_gm_width() + 5 * scale), -1); break; case Narrow: @@ -726,7 +728,7 @@ MixerStrip::set_width_enum (Width w, void* owner) panners.short_astate_string(_route->panner()->automation_state())); } - set_size_request (max (60, gpm.get_gm_width() + 10), -1); + set_size_request (max (60 * scale, gpm.get_gm_width() + 10 * scale), -1); break; } |