diff options
author | Robin Gareus <robin@gareus.org> | 2012-11-12 16:49:15 +0000 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2012-11-12 16:49:15 +0000 |
commit | bdad852b71e369bdd358f44208751abfe64f8e36 (patch) | |
tree | 43dc0818df89ae4bee7d9459641e192a677a8c7a | |
parent | c528c1178a38a421e893c25145630299ec4786ad (diff) |
redraw of markup'ed sections when style/font is [re]loaded.
git-svn-id: svn://localhost/ardour2/branches/3.0@13456 d708f5d6-7413-0410-9779-e7cbd77b26cf
-rw-r--r-- | gtk2_ardour/audio_clock.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/audio_clock.cc b/gtk2_ardour/audio_clock.cc index b6c969a502..09f7a9506a 100644 --- a/gtk2_ardour/audio_clock.cc +++ b/gtk2_ardour/audio_clock.cc @@ -192,6 +192,7 @@ AudioClock::set_font () tmp->set_text ("8"); tmp->get_pixel_size (em_width, ignore_height); + set (last_when, true); /* force redraw of markup with new font-size */ } void |