Add clear-board button to piece-menu popup

[xboard.git] / gtk-interface.xml

diff --git a/gtk-interface.xml b/gtk-interface.xml
index 3b2f986..8cebc13 100644 (file)
--- a/gtk-interface.xml
+++ b/gtk-interface.xml
@@ -32,7 +32,7 @@
         <property name="orientation">vertical</property>
         <property name="spacing">2</property>
         <child>
-          <object class="GtkScrolledWindow" id="scrolledwindow1">
+          <object class="GtkScrolledWindow" id="scrolledwindow-movehistory">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
             <property name="hscrollbar_policy">automatic</property>
@@ -44,8 +44,12 @@
                 <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="rules_hint">True</property>
                 <property name="enable_search">False</property>
                 <property name="search_column">0</property>
+                <property name="hover_selection">True</property>
+                <signal name="button_press_event" handler="HistoryMoveProc"/>
+                <signal name="key_press_event" handler="HistoryMoveProc"/>
                 <child>
                   <object class="GtkTreeViewColumn" id="Move">
                     <property name="title">Move</property>
@@ -91,7 +95,7 @@
             <property name="visible">True</property>
             <property name="layout_style">end</property>
             <child>
-              <object class="GtkButton" id="CloseButton">
+              <object class="GtkButton" id="CloseButton-movehistory">
                 <property name="label" translatable="yes">gtk-close</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -115,7 +119,7 @@
       </object>
     </child>
     <action-widgets>
-      <action-widget response="0">CloseButton</action-widget>
+      <action-widget response="0">CloseButton-movehistory</action-widget>
     </action-widgets>
   </object>
   <object class="GtkWindow" id="MainWindow">
@@ -1384,7 +1388,7 @@
         <property name="orientation">vertical</property>
         <property name="spacing">2</property>
         <child>
-          <object class="GtkScrolledWindow" id="scrolledwindow1">
+          <object class="GtkScrolledWindow" id="scrolledwindow-gamelist">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
             <property name="hscrollbar_policy">automatic</property>
@@ -1421,7 +1425,7 @@
             <property name="visible">True</property>
             <property name="layout_style">end</property>
             <child>
-              <object class="GtkButton" id="LoadButton">
+              <object class="GtkButton" id="LoadButton-GameList">
                 <property name="label" translatable="yes">Load</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -1434,7 +1438,7 @@
               </packing>
             </child>
             <child>
-              <object class="GtkButton" id="PrevButton">
+              <object class="GtkButton" id="PrevButton-GameList">
                 <property name="label" translatable="yes">Prev</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -1447,7 +1451,7 @@
               </packing>
             </child>
             <child>
-              <object class="GtkButton" id="NextButton">
+              <object class="GtkButton" id="NextButton-GameList">
                 <property name="label" translatable="yes">Next</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -1460,7 +1464,7 @@
               </packing>
             </child>
             <child>
-              <object class="GtkButton" id="CloseButton">
+              <object class="GtkButton" id="CloseButton-GameList">
                 <property name="label" translatable="yes">gtk-close</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
@@ -1483,10 +1487,10 @@
       </object>
     </child>
     <action-widgets>
-      <action-widget response="0">LoadButton</action-widget>
-      <action-widget response="0">PrevButton</action-widget>
-      <action-widget response="0">NextButton</action-widget>
-      <action-widget response="0">CloseButton</action-widget>
+      <action-widget response="0">LoadButton-GameList</action-widget>
+      <action-widget response="0">PrevButton-GameList</action-widget>
+      <action-widget response="0">NextButton-GameList</action-widget>
+      <action-widget response="0">CloseButton-GameList</action-widget>
     </action-widgets>
   </object>
 </interface>