worked a bit on the history window

[xboard.git] / gtk-interface.xml

diff --git a/gtk-interface.xml b/gtk-interface.xml
index 64cb593..d5ef22a 100644 (file)
--- a/gtk-interface.xml
+++ b/gtk-interface.xml
@@ -31,6 +31,7 @@
               <object class="GtkTreeView" id="MoveHistoryView">
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
+                <property name="events">GDK_BUTTON_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_STRUCTURE_MASK</property>
                 <property name="model">MoveHistoryStore</property>
                 <property name="headers_clickable">False</property>
                 <property name="enable_search">False</property>
@@ -868,9 +869,9 @@
                           </object>
                         </child>
                         <child>
-                          <object class="GtkCheckMenuItem" id="menuOptions.Show Thinking">
+                          <object class="GtkCheckMenuItem" id="menuOptions.Hide Thinking">
                             <property name="visible">True</property>
-                            <property name="label" translatable="yes">Show Thinking</property>
+                            <property name="label" translatable="yes">Hide Thinking</property>
                             <property name="use_underline">True</property>
                             <signal name="toggled" handler="HideThinkingProc"/>
                           </object>