follow 113bc3b38e, tentative clock-font size update.

This really needs a better solution.

diff --git a/gtk2_ardour/audio_clock.cc b/gtk2_ardour/audio_clock.cc
index 7d6dd3cfcde6b7a655d7aca916c2e7a4261ea623..4eb8a2e8aa0040a0e2e2a2055b54a3a1cba5f56d 100644 (file)
--- a/gtk2_ardour/audio_clock.cc
+++ b/gtk2_ardour/audio_clock.cc
@@ -54,7 +54,7 @@ using Gtkmm2ext::Keyboard;
 
 sigc::signal<void> AudioClock::ModeChanged;
 vector<AudioClock*> AudioClock::clocks;
-const double AudioClock::info_font_scale_factor = 0.50;
+const double AudioClock::info_font_scale_factor = 0.60;
 const double AudioClock::separator_height = 0.0;
 const double AudioClock::x_leading_padding = 6.0;