X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffrequencies.ui;h=a65e45f0b9bcab0b7a8f33079e5468fa847ff8bd;hb=da8c6e44f6e8acaa04887901da4d835437221ccf;hp=71626bb7328ab0c0dffeb9887256bd96523eb682;hpb=94f3237b08061338c31a14cb4c761a0aa0232431;p=pspp

diff --git a/src/ui/gui/frequencies.ui b/src/ui/gui/frequencies.ui
index 71626bb732..a65e45f0b9 100644
--- a/src/ui/gui/frequencies.ui
+++ b/src/ui/gui/frequencies.ui
@@ -112,8 +112,6 @@
                         </child>
                       </object>
                       <packing>
-                        <property name="expand">False</property>
-                        <property name="fill">False</property>
                         <property name="position">0</property>
                       </packing>
                     </child>
@@ -132,7 +130,7 @@
                             <property name="vscrollbar_policy">automatic</property>
                             <property name="shadow_type">etched-in</property>
                             <child>
-                              <object class="GtkTreeView" id="stats-treeview">
+                              <object class="PsppireCheckboxTreeview" id="stats-treeview">
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@@ -178,10 +176,10 @@
                           <object class="GtkButton" id="charts-button">
                             <property name="label" translatable="yes">Ch_arts...</property>
                             <property name="visible">True</property>
-                            <property name="use_underline">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">True</property>
                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                            <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="expand">False</property>
@@ -193,10 +191,10 @@
                           <object class="GtkButton" id="tables-button">
                             <property name="label" translatable="yes">Frequency _Tables...</property>
                             <property name="visible">True</property>
-                            <property name="use_underline">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">True</property>
                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                            <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="expand">False</property>
@@ -284,8 +282,8 @@
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="active">True</property>
-				<property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                               </object>
                               <packing>
@@ -299,9 +297,9 @@
                                 <property name="label" translatable="yes">_Never</property>
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
-				<property name="use_underline">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                                 <property name="group">always</property>
                               </object>
@@ -318,10 +316,10 @@
                                   <object class="GtkRadioButton" id="limit">
                                     <property name="label" translatable="yes">If no _more than </property>
                                     <property name="visible">True</property>
-				    <property name="use_underline">True</property>
                                     <property name="can_focus">True</property>
                                     <property name="receives_default">False</property>
                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                    <property name="use_underline">True</property>
                                     <property name="draw_indicator">True</property>
                                     <property name="group">always</property>
                                   </object>
@@ -375,7 +373,6 @@
                     </child>
                   </object>
                   <packing>
-                    <property name="expand">False</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
@@ -400,9 +397,9 @@
                                 <property name="label" translatable="yes">A_scending value</property>
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
-				<property name="use_underline">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="active">True</property>
                                 <property name="draw_indicator">True</property>
                               </object>
@@ -415,11 +412,11 @@
                             <child>
                               <object class="GtkRadioButton" id="dvalue">
                                 <property name="label" translatable="yes">D_escending value</property>
-				<property name="use_underline">True</property>
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                                 <property name="group">avalue</property>
                               </object>
@@ -436,9 +433,9 @@
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                                 <property name="group">avalue</property>
-				<property name="use_underline">True</property>
                               </object>
                               <packing>
                                 <property name="expand">False</property>
@@ -451,9 +448,9 @@
                                 <property name="label" translatable="yes">Descending f_requency</property>
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
-				<property name="use_underline">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                                 <property name="group">avalue</property>
                               </object>
@@ -477,7 +474,6 @@
                     </child>
                   </object>
                   <packing>
-                    <property name="expand">False</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
@@ -546,8 +542,8 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
-				<property name="use_underline">True</property>
                               </object>
                               <packing>
                                 <property name="expand">False</property>
@@ -582,8 +578,8 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
-				<property name="use_underline">True</property>
                               </object>
                               <packing>
                                 <property name="expand">False</property>
@@ -645,8 +641,8 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">False</property>
+                            <property name="use_underline">True</property>
                             <property name="draw_indicator">True</property>
-			    <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="position">0</property>
@@ -658,8 +654,8 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">False</property>
+                            <property name="use_underline">True</property>
                             <property name="draw_indicator">True</property>
-			    <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="position">1</property>
@@ -683,9 +679,9 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_underline">True</property>
                                 <property name="active">True</property>
                                 <property name="draw_indicator">True</property>
-				<property name="use_underline">True</property>
                               </object>
                               <packing>
                                 <property name="position">1</property>
@@ -697,9 +693,9 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_underline">True</property>
                                 <property name="draw_indicator">True</property>
                                 <property name="group">freqs</property>
-				<property name="use_underline">True</property>
                               </object>
                               <packing>
                                 <property name="position">2</property>
@@ -745,8 +741,8 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">False</property>
+                            <property name="use_underline">True</property>
                             <property name="draw_indicator">True</property>
-			    <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="position">0</property>
@@ -758,8 +754,8 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">False</property>
+                            <property name="use_underline">True</property>
                             <property name="draw_indicator">True</property>
-			    <property name="use_underline">True</property>
                           </object>
                           <packing>
                             <property name="position">1</property>