}
+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
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"
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);