diff options
| author | Robin Gareus <robin@gareus.org> | 2015-04-22 21:34:27 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-04-22 21:40:43 +0200 |
| commit | b38ab89d92a5f963c90da885409da541ad081a65 (patch) | |
| tree | b29a21e7a8121f1e37c70d95ad71484d590ed43d /gtk2_ardour/mixer_strip.cc | |
| parent | 8d85afd29420a98148ac994f8dcb4e5412b7c2e2 (diff) | |
clean up GUI scaling
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); } |