remove duplicate FontScalingOptions -- closes #6791

diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index 88d75a7c77d29848c3aebf03928c208fbd5fb596..f82cc4ad5a30279981e66b9a2b8f173df757bff5 100644 (file)
--- a/gtk2_ardour/rc_option_editor.cc
+++ b/gtk2_ardour/rc_option_editor.cc
@@ -2902,11 +2902,6 @@ if (!Profile->get_mixbus()) {
                     sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_show_name_highlight)
                     ));
 
-#ifndef __APPLE__
-       /* font scaling does nothing with GDK/Quartz */
-       add_option (S_("Preferences|GUI"), new FontScalingOptions ());
-#endif
-
        add_option (S_("Preferences|GUI"),
                    new BoolOption (
                            "super-rapid-clock-update",
@@ -2916,7 +2911,7 @@ if (!Profile->get_mixbus()) {
                            ));
 
 
-#ifndef GTKOSX
+#ifndef __APPLE__
        /* font scaling does nothing with GDK/Quartz */
        add_option (S_("Preferences|GUI"), new FontScalingOptions ());
 #endif