diff options
Diffstat (limited to 'gtk2_ardour/mixer_strip.cc')
| -rw-r--r-- | gtk2_ardour/mixer_strip.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk2_ardour/mixer_strip.cc b/gtk2_ardour/mixer_strip.cc index dc9cdcc59b..7c59075f5a 100644 --- a/gtk2_ardour/mixer_strip.cc +++ b/gtk2_ardour/mixer_strip.cc @@ -684,7 +684,7 @@ 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.); + const float scale = std::max(1.f, ARDOUR_UI::ui_scale); switch (w) { case Wide: @@ -707,7 +707,7 @@ MixerStrip::set_width_enum (Width w, void* owner) { // panners expect an even number of horiz. pixels - int width = rint(max (110 * scale, gpm.get_gm_width() + 10 * scale)) + 1; + int width = rintf (max (110.f * scale, gpm.get_gm_width() + 10.f * scale)) + 1; width &= ~1; set_size_request (width, -1); } @@ -734,7 +734,7 @@ MixerStrip::set_width_enum (Width w, void* owner) { // panners expect an even number of horiz. pixels - int width = rint(max (60 * scale, gpm.get_gm_width() + 10 * scale)) + 1; + int width = rintf (max (60.f * scale, gpm.get_gm_width() + 10.f * scale)) + 1; width &= ~1; set_size_request (width, -1); } |