13
0

quick hack to lighten up font scale slider tick-marks

This commit is contained in:
Robin Gareus 2014-12-28 23:42:04 +01:00
parent 4973ddc478
commit 957e72724c
2 changed files with 11 additions and 0 deletions

View File

@ -501,6 +501,14 @@ style "option_entry" = "default"
}
style "font_scale_slider" = "default"
{
# scale-marks are based on style->dark/light,
# which cannot be specified directly in the gtkrc.
# this is a quick hack to increase visibility of the marks
bg[NORMAL] = shade(1.4, @background)
}
style "very_small_bright_when_active" = "very_small_text"
{
fg[NORMAL] = @foreground
@ -1031,6 +1039,7 @@ widget "*AddRouteDialogSpinner" style:highest "ardour_adjusters"
widget "*OptionsNotebook" style:highest "preferences"
widget "*OptionsLabel" style:highest "preferences"
widget "*OptionsEntry" style:highest "option_entry"
widget "*FontScaleSlider" style:highest "font_scale_slider"
widget "*InspectorNotebook" style:highest "preferences"
widget "*EditorRulerLabel*" style:highest "ruler_label"
widget "*MixerAutomationModeButton*" style:highest "very_small_button"

View File

@ -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);