src/ui/gui/find.ui

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