Fix warnings.

[ardour.git] / gtk2_ardour / rc_option_editor.cc

diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index d4b9d4fc5093615a733e95191ff09c003ded4c30..5e7df484ea8d0ed49ed923def2be6860c3d29c83 100644 (file)
--- a/gtk2_ardour/rc_option_editor.cc
+++ b/gtk2_ardour/rc_option_editor.cc
@@ -1222,7 +1222,7 @@ RCOptionEditor::RCOptionEditor ()
        }
 
        if (fpu.has_flush_to_zero() && fpu.has_denormals_are_zero()) {
-               dm->add (DenormalFTZDAZ, _("use FlushToZero and DenormalsAreZerO"));
+               dm->add (DenormalFTZDAZ, _("use FlushToZero and DenormalsAreZero"));
        }
 
        add_option (_("Audio"), dm);
@@ -1493,6 +1493,14 @@ RCOptionEditor::RCOptionEditor ()
 
        /* INTERFACE */
 
+       add_option (_("Interface"),
+            new BoolOption (
+                    "widget_prelight",
+                    _("Graphically indicate mouse pointer hovering over various widgets"),
+                    sigc::mem_fun (*_rc_config, &RCConfiguration::get_widget_prelight),
+                    sigc::mem_fun (*_rc_config, &RCConfiguration::set_widget_prelight)
+                    ));
+
 #ifndef GTKOSX
        /* font scaling does nothing with GDK/Quartz */
        add_option (_("Interface"), new FontScalingOptions (_rc_config));