diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2012-12-14 14:22:16 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-12-14 14:22:16 +0000 |
commit | fd1414f6668712c641da6c7d51f4b3e2bf6fae5a (patch) | |
tree | 351d0d7d8d50a80b8a98b18add83079f09aa9204 /gtk2_ardour/rc_option_editor.cc | |
parent | 188bb6ad7b36c81e47c59a09051fc98c8a286e90 (diff) |
remove group button visibility option from preferences dialog; tweak font scale slider to force integral scaling; reduce processor box sliders a bit more
git-svn-id: svn://localhost/ardour2/branches/3.0@13664 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index a6bb807613..bf2624970b 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -532,7 +532,7 @@ public: _dpi_adjustment (50, 50, 250, 1, 10), _dpi_slider (_dpi_adjustment) { - _dpi_adjustment.set_value (_rc_config->get_font_scale () / 1024); + _dpi_adjustment.set_value (floor (_rc_config->get_font_scale () / 1024)); Label* l = manage (new Label (_("Font scaling:"))); l->set_name ("OptionsLabel"); @@ -551,7 +551,7 @@ public: void parameter_changed (string const & p) { if (p == "font-scale") { - _dpi_adjustment.set_value (_rc_config->get_font_scale() / 1024); + _dpi_adjustment.set_value (floor (_rc_config->get_font_scale() / 1024)); } } @@ -1747,7 +1747,6 @@ RCOptionEditor::RCOptionEditor () _mixer_strip_visibility.add (0, X_("SoloSafe"), _("Solo Safe")); _mixer_strip_visibility.add (0, X_("SoloIsolated"), _("Solo Isolated")); _mixer_strip_visibility.add (0, X_("Comments"), _("Comments")); - _mixer_strip_visibility.add (0, X_("Group"), _("Group")); _mixer_strip_visibility.add (0, X_("MeterPoint"), _("Meter Point")); add_option ( |