diff options
| author | Robin Gareus <robin@gareus.org> | 2014-12-29 00:05:42 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-12-29 00:05:58 +0100 |
| commit | 815a8b09e4fdb40eb209d1f1eb2349206ce82200 (patch) | |
| tree | c138e026a1f9245c8376509a6ea5b58a3a436e1b /gtk2_ardour/audio_clock.cc | |
| parent | 957e72724cab48677e632603d3f100582c0ce4bc (diff) | |
follow 113bc3b38e, tentative clock-font size update.
This really needs a better solution.
Diffstat (limited to 'gtk2_ardour/audio_clock.cc')
| -rw-r--r-- | gtk2_ardour/audio_clock.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/audio_clock.cc b/gtk2_ardour/audio_clock.cc index 7d6dd3cfcd..4eb8a2e8aa 100644 --- 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; |