pintos-os.org Git - pspp/blob - src/ui/gui/find.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.18.3 -->
   3 <interface>
   4   <requires lib="gtk+" version="3.4.2"/>
   5   <requires lib="psppire" version="2053.63976"/>
   6   <object class="PsppireDialog" id="find-dialog">
   7     <property name="can_focus">False</property>
   8     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   9     <property name="title" translatable="yes">Find Case</property>
  10     <property name="modal">True</property>
  11     <child>
  12       <object class="GtkBox" id="dialog-hbox14">
  13         <property name="visible">True</property>
  14         <property name="can_focus">False</property>
  15         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  16         <property name="spacing">2</property>
  17         <child>
  18           <object class="GtkBox" id="hbox10">
  19             <property name="visible">True</property>
  20             <property name="can_focus">False</property>
  21             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  22             <property name="border_width">5</property>
  23             <property name="spacing">5</property>
  24             <child>
  25               <object class="GtkScrolledWindow" id="scrolledwindow13">
  26                 <property name="visible">True</property>
  27                 <property name="can_focus">True</property>
  28                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  29                 <property name="hscrollbar_policy">never</property>
  30                 <property name="shadow_type">etched-in</property>
  31                 <child>
  32                   <object class="PsppireDictView" id="find-variable-treeview">
  33                     <property name="height_request">300</property>
  34                     <property name="visible">True</property>
  35                     <property name="can_focus">True</property>
  36                     <property name="border_width">0</property>
  37                     <property name="headers_visible">False</property>
  38                     <property name="fixed_height_mode">True</property>
  39                     <child internal-child="selection">
  40                       <object class="GtkTreeSelection" id="psppire-dictview-selection1"/>
  41                     </child>
  42                   </object>
  43                 </child>
  44               </object>
  45               <packing>
  46                 <property name="expand">True</property>
  47                 <property name="fill">True</property>
  48                 <property name="position">0</property>
  49               </packing>
  50             </child>
  51             <child>
  52               <object class="GtkBox" id="vbox27">
  53                 <property name="visible">True</property>
  54                 <property name="can_focus">False</property>
  55                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  56                 <property name="orientation">vertical</property>
  57                 <child>
  58                   <object class="PsppireSelector" id="find-selector">
  59                     <property name="visible">True</property>
  60                     <property name="can_focus">True</property>
  61                     <property name="receives_default">True</property>
  62                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  63                     <property name="border_width">5</property>
  64                     <property name="source_widget">find-variable-treeview</property>
  65                     <property name="dest_widget">find-variable-entry</property>
  66                   </object>
  67                   <packing>
  68                     <property name="expand">False</property>
  69                     <property name="fill">False</property>
  70                     <property name="position">0</property>
  71                   </packing>
  72                 </child>
  73                 <child>
  74                   <placeholder/>
  75                 </child>
  76               </object>
  77               <packing>
  78                 <property name="expand">False</property>
  79                 <property name="fill">False</property>
  80                 <property name="position">1</property>
  81               </packing>
  82             </child>
  83             <child>
  84               <object class="GtkBox" id="vbox10">
  85                 <property name="visible">True</property>
  86                 <property name="can_focus">False</property>
  87                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  88                 <property name="orientation">vertical</property>
  89                 <child>
  90                   <object class="GtkBox" id="vbox11">
  91                     <property name="visible">True</property>
  92                     <property name="can_focus">False</property>
  93                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  94                     <property name="orientation">vertical</property>
  95                     <child>
  96                       <object class="GtkLabel" id="label33">
  97                         <property name="visible">True</property>
  98                         <property name="can_focus">False</property>
  99                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 100                         <property name="xalign">0</property>
 101                         <property name="label" translatable="yes">Variable:</property>
 102                       </object>
 103                       <packing>
 104                         <property name="expand">False</property>
 105                         <property name="fill">False</property>
 106                         <property name="padding">5</property>
 107                         <property name="position">0</property>
 108                       </packing>
 109                     </child>
 110                     <child>
 111                       <object class="GtkEntry" id="find-variable-entry">
 112                         <property name="visible">True</property>
 113                         <property name="can_focus">True</property>
 114                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 115                       </object>
 116                       <packing>
 117                         <property name="expand">False</property>
 118                         <property name="fill">False</property>
 119                         <property name="position">1</property>
 120                       </packing>
 121                     </child>
 122                   </object>
 123                   <packing>
 124                     <property name="expand">False</property>
 125                     <property name="fill">True</property>
 126                     <property name="position">0</property>
 127                   </packing>
 128                 </child>
 129                 <child>
 130                   <object class="GtkBox" id="vbox15">
 131                     <property name="visible">True</property>
 132                     <property name="can_focus">False</property>
 133                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 134                     <property name="orientation">vertical</property>
 135                     <child>
 136                       <object class="GtkLabel" id="label34">
 137                         <property name="visible">True</property>
 138                         <property name="can_focus">False</property>
 139                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 140                         <property name="xalign">0</property>
 141                         <property name="label" translatable="yes">Value:</property>
 142                       </object>
 143                       <packing>
 144                         <property name="expand">False</property>
 145                         <property name="fill">False</property>
 146                         <property name="padding">5</property>
 147                         <property name="position">0</property>
 148                       </packing>
 149                     </child>
 150                     <child>
 151                       <object class="GtkEntry" id="find-value-entry">
 152                         <property name="visible">True</property>
 153                         <property name="can_focus">True</property>
 154                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 155                       </object>
 156                       <packing>
 157                         <property name="expand">False</property>
 158                         <property name="fill">False</property>
 159                         <property name="position">1</property>
 160                       </packing>
 161                     </child>
 162                     <child>
 163                       <object class="GtkCheckButton" id="find-value-labels-checkbutton">
 164                         <property name="label" translatable="yes">Search value labels</property>
 165                         <property name="visible">True</property>
 166                         <property name="sensitive">False</property>
 167                         <property name="can_focus">True</property>
 168                         <property name="receives_default">False</property>
 169                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 170                         <property name="xalign">0.5</property>
 171                         <property name="draw_indicator">True</property>
 172                       </object>
 173                       <packing>
 174                         <property name="expand">False</property>
 175                         <property name="fill">True</property>
 176                         <property name="position">2</property>
 177                       </packing>
 178                     </child>
 179                   </object>
 180                   <packing>
 181                     <property name="expand">False</property>
 182                     <property name="fill">True</property>
 183                     <property name="position">1</property>
 184                   </packing>
 185                 </child>
 186                 <child>
 187                   <object class="GtkButtonBox" id="bb1">
 188                     <property name="orientation">vertical</property>
 189                     <property name="visible">True</property>
 190                     <property name="can_focus">False</property>
 191                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 192                     <child>
 193                       <object class="GtkCheckButton" id="find-match-regexp-checkbutton">
 194                         <property name="label" translatable="yes">Regular expression Match</property>
 195                         <property name="visible">True</property>
 196                         <property name="sensitive">False</property>
 197                         <property name="can_focus">True</property>
 198                         <property name="receives_default">False</property>
 199                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 200                         <property name="xalign">0.5</property>
 201                         <property name="draw_indicator">True</property>
 202                       </object>
 203                       <packing>
 204                         <property name="expand">False</property>
 205                         <property name="fill">False</property>
 206                         <property name="position">0</property>
 207                       </packing>
 208                     </child>
 209                     <child>
 210                       <object class="GtkCheckButton" id="find-match-substring-checkbutton">
 211                         <property name="label" translatable="yes">Search substrings</property>
 212                         <property name="visible">True</property>
 213                         <property name="sensitive">False</property>
 214                         <property name="can_focus">True</property>
 215                         <property name="receives_default">False</property>
 216                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 217                         <property name="xalign">0.5</property>
 218                         <property name="draw_indicator">True</property>
 219                       </object>
 220                       <packing>
 221                         <property name="expand">False</property>
 222                         <property name="fill">False</property>
 223                         <property name="position">1</property>
 224                       </packing>
 225                     </child>
 226                     <child>
 227                       <object class="GtkCheckButton" id="find-wrap">
 228                         <property name="label" translatable="yes">Wrap around</property>
 229                         <property name="visible">True</property>
 230                         <property name="can_focus">True</property>
 231                         <property name="receives_default">False</property>
 232                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 233                         <property name="xalign">0.5</property>
 234                         <property name="draw_indicator">True</property>
 235                       </object>
 236                       <packing>
 237                         <property name="expand">False</property>
 238                         <property name="fill">False</property>
 239                         <property name="position">2</property>
 240                       </packing>
 241                     </child>
 242                     <child>
 243                       <object class="GtkCheckButton" id="find-backwards">
 244                         <property name="label" translatable="yes">Search backward</property>
 245                         <property name="visible">True</property>
 246                         <property name="can_focus">True</property>
 247                         <property name="receives_default">False</property>
 248                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 249                         <property name="xalign">0.5</property>
 250                         <property name="draw_indicator">True</property>
 251                       </object>
 252                       <packing>
 253                         <property name="expand">False</property>
 254                         <property name="fill">False</property>
 255                         <property name="position">3</property>
 256                       </packing>
 257                     </child>
 258                   </object>
 259                   <packing>
 260                     <property name="expand">False</property>
 261                     <property name="fill">True</property>
 262                     <property name="position">2</property>
 263                   </packing>
 264                 </child>
 265               </object>
 266               <packing>
 267                 <property name="expand">False</property>
 268                 <property name="fill">True</property>
 269                 <property name="position">3</property>
 270               </packing>
 271             </child>
 272           </object>
 273           <packing>
 274             <property name="expand">True</property>
 275             <property name="fill">True</property>
 276             <property name="position">0</property>
 277           </packing>
 278         </child>
 279         <child>
 280           <object class="PsppireButtonbox" id="find-buttonbox">
 281             <property name="orientation">vertical</property>
 282             <property name="visible">True</property>
 283             <property name="can_focus">False</property>
 284             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 285             <property name="border_width">5</property>
 286             <property name="buttons">PSPPIRE_BUTTON_CLOSE_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
 287           </object>
 288           <packing>
 289             <property name="expand">False</property>
 290             <property name="fill">False</property>
 291             <property name="pack_type">end</property>
 292             <property name="position">1</property>
 293           </packing>
 294         </child>
 295       </object>
 296     </child>
 297   </object>
 298 </interface>