diff options
| author | Robin Gareus <robin@gareus.org> | 2014-12-28 23:42:04 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-12-29 00:05:58 +0100 |
| commit | 957e72724cab48677e632603d3f100582c0ce4bc (patch) | |
| tree | 129cceb0f2ecf904c69c67fd3951665f79d59eb9 /gtk2_ardour/rc_option_editor.cc | |
| parent | 4973ddc4783756123766b51731107b74bd163477 (diff) | |
quick hack to lighten up font scale slider tick-marks
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index bf2669def9..f845273d95 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -543,6 +543,8 @@ public: const Glib::ustring dflt = _("Default"); const Glib::ustring empty = X_(""); // despite gtk-doc saying so, NULL does not work as reference + + _dpi_slider.set_name("FontScaleSlider"); _dpi_slider.set_update_policy (UPDATE_DISCONTINUOUS); _dpi_slider.set_draw_value(false); _dpi_slider.add_mark(50, Gtk::POS_TOP, empty); |