[orca] Remove the braille-monitor checkbox from the GUI

[Joanmarie Diggs <joanied src gnome org>]

commit 2428cfe1b54602f0fb40f937076ac81670eed533
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Sun Jun 16 18:47:46 2013 -0400

    Remove the braille-monitor checkbox from the GUI
    
    It's a debugging tool for sighted developers who lack a hardware
    braille display. For those that need it, it can still be enabled
    by the commandline.

 src/orca/orca-setup.ui     |   20 --------------------
 src/orca/orca_gui_prefs.py |    2 --
 2 files changed, 0 insertions(+), 22 deletions(-)
---
diff --git a/src/orca/orca-setup.ui b/src/orca/orca-setup.ui
index b85c7d0..3f1ee44 100644
--- a/src/orca/orca-setup.ui
+++ b/src/orca/orca-setup.ui
@@ -1876,26 +1876,6 @@
                         <property name="height">1</property>
                       </packing>
                     </child>
-                    <child>
-                      <object class="GtkCheckButton" id="enableBrailleMonitorCheckButton">
-                        <property name="label" translatable="yes">Enable Braille _monitor</property>
-                        <property name="use_action_appearance">False</property>
-                        <property name="visible">True</property>
-                        <property name="can_focus">True</property>
-                        <property name="receives_default">False</property>
-                        <property name="use_action_appearance">False</property>
-                        <property name="use_underline">True</property>
-                        <property name="xalign">0</property>
-                        <property name="draw_indicator">True</property>
-                        <signal name="toggled" handler="checkButtonToggled" swapped="no"/>
-                      </object>
-                      <packing>
-                        <property name="left_attach">0</property>
-                        <property name="top_attach">1</property>
-                        <property name="width">1</property>
-                        <property name="height">1</property>
-                      </packing>
-                    </child>
                   </object>
                   <packing>
                     <property name="left_attach">0</property>
diff --git a/src/orca/orca_gui_prefs.py b/src/orca/orca_gui_prefs.py
index 778e2f5..4df894e 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -1430,8 +1430,6 @@ class OrcaSetupGUI(orca_gtkbuilder.GtkBuilderWrapper):
         #
         self.get_widget("enableBrailleCheckButton").set_active( \
                         prefs["enableBraille"])
-        self.get_widget("enableBrailleMonitorCheckButton").set_active( \
-                        prefs["enableBrailleMonitor"])
         state = prefs["brailleRolenameStyle"] == \
                             settings.BRAILLE_ROLENAME_STYLE_SHORT
         self.get_widget("abbrevRolenames").set_active(state)