diff options
| author | Robin Gareus <robin@gareus.org> | 2014-12-27 18:05:42 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-12-27 18:05:42 +0100 |
| commit | ffa6954875ac8eca79ee5ab0905e220573848d7d (patch) | |
| tree | 6b18208edc96027813c31173c4b96e198316d5f7 /gtk2_ardour | |
| parent | 99cfd00e863b250162f1e9c6c66595ae9330d71d (diff) | |
fixup LED size (font-scaling)..
..until there's a better solution.
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/ardour_button.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour_button.cc b/gtk2_ardour/ardour_button.cc index 2084c3fd4d..55882353fe 100644 --- a/gtk2_ardour/ardour_button.cc +++ b/gtk2_ardour/ardour_button.cc @@ -587,7 +587,7 @@ ArdourButton::on_size_request (Gtk::Requisition* req) CairoWidget::on_size_request (req); if (_diameter == 0) { - const float newdia = rint (ARDOUR_UI::config()->get_font_scale () / 1024. / 7.5); // 11px with 80% font-scaling + const float newdia = rint (ARDOUR_UI::config()->get_font_scale () / 9600.0); // 11px with 100% font-scaling if (_diameter != newdia) { _pattern_height = 0; _diameter = newdia; |