diff options
author | Robin Gareus <robin@gareus.org> | 2015-04-20 20:51:33 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-04-20 20:51:33 +0200 |
commit | e7364201b149d8f4b16dcbc530eafdde7ed98c57 (patch) | |
tree | a374a8444f109e828b80fc2fa14e07c567cf6b96 /gtk2_ardour/rc_option_editor.cc | |
parent | 451450d3f86b1d36d1a1b1a2b0b7db4a21d36153 (diff) |
clarify GUI scaling
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 13f425883e..2e42e0bad5 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -541,7 +541,7 @@ public: { _dpi_adjustment.set_value (_ui_config->get_font_scale() / 1024.); - Label* l = manage (new Label (_("Font scaling:"))); + Label* l = manage (new Label (_("GUI and Font scaling:"))); l->set_name ("OptionsLabel"); const Glib::ustring dflt = _("Default"); @@ -570,7 +570,7 @@ public: _box->pack_start (*h, false, false); - set_note (_("Major font-scale changes require an application restart to re-layout.")); + set_note (_("Adjusting the scale require an application restart to re-layout.")); _dpi_adjustment.signal_value_changed().connect (sigc::mem_fun (*this, &FontScalingOptions::dpi_changed)); } |