fixup LED size (font-scaling)..

..until there's a better solution.

diff --git a/gtk2_ardour/ardour_button.cc b/gtk2_ardour/ardour_button.cc
index 2084c3fd4d99a7367e9d6e1a9fba5951d1557208..55882353fe2a0b996ce16599064bda64b45dfcfb 100644 (file)
--- 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;