diff options
| author | Robin Gareus <robin@gareus.org> | 2015-04-22 21:31:19 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-04-22 21:40:43 +0200 |
| commit | 8d85afd29420a98148ac994f8dcb4e5412b7c2e2 (patch) | |
| tree | ce22b96ff04ae00db078e51f180b0a3c6750bfbd /gtk2_ardour/ardour_ui_options.cc | |
| parent | add248f0cb7395490411d9d568d0d3e404e04ea3 (diff) | |
add central API to calculate UI scaling
Diffstat (limited to 'gtk2_ardour/ardour_ui_options.cc')
| -rw-r--r-- | gtk2_ardour/ardour_ui_options.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui_options.cc b/gtk2_ardour/ardour_ui_options.cc index a354d47dfc..f63dd46401 100644 --- a/gtk2_ardour/ardour_ui_options.cc +++ b/gtk2_ardour/ardour_ui_options.cc @@ -423,6 +423,8 @@ ARDOUR_UI::parameter_changed (std::string p) ? ArdourCanvas::WaveView::Rectified : ArdourCanvas::WaveView::Normal); } else if (p == "show-waveform-clipping") { ArdourCanvas::WaveView::set_global_show_waveform_clipping (ARDOUR_UI::config()->get_show_waveform_clipping()); + } else if (p == "font-scale") { + ui_scale = config()->get_font_scale () / 102400.; } } |