pintos-os.org Git - pspp/blob - 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" translatable="yes">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                     <property name="source_widget">find-variable-treeview</property>
  56                     <property name="dest_widget">find-variable-entry</property>
  57                   </object>
  58                   <packing>
  59                     <property name="expand">False</property>
  60                     <property name="fill">False</property>
  61                     <property name="position">0</property>
  62                   </packing>
  63                 </child>
  64                 <child>
  65                   <placeholder/>
  66                 </child>
  67               </object>
  68               <packing>
  69                 <property name="expand">False</property>
  70                 <property name="fill">False</property>
  71                 <property name="position">1</property>
  72               </packing>
  73             </child>
  74             <child>
  75               <object class="GtkVBox" id="vbox10">
  76                 <property name="visible">True</property>
  77                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  78                 <property name="orientation">vertical</property>
  79                 <child>
  80                   <object class="GtkVBox" id="vbox11">
  81                     <property name="visible">True</property>
  82                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  83                     <child>
  84                       <object class="GtkLabel" id="label33">
  85                         <property name="visible">True</property>
  86                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  87                         <property name="xalign">0</property>
  88                         <property name="label" translatable="yes">Variable:</property>
  89                       </object>
  90                       <packing>
  91                         <property name="expand">False</property>
  92                         <property name="fill">False</property>
  93                         <property name="padding">5</property>
  94                         <property name="position">0</property>
  95                       </packing>
  96                     </child>
  97                     <child>
  98                       <object class="GtkEntry" id="find-variable-entry">
  99                         <property name="visible">True</property>
 100                         <property name="can_focus">True</property>
 101                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 102                       </object>
 103                       <packing>
 104                         <property name="expand">False</property>
 105                         <property name="fill">False</property>
 106                         <property name="position">1</property>
 107                       </packing>
 108                     </child>
 109                   </object>
 110                   <packing>
 111                     <property name="position">0</property>
 112                   </packing>
 113                 </child>
 114                 <child>
 115                   <object class="GtkVBox" id="vbox15">
 116                     <property name="visible">True</property>
 117                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 118                     <property name="orientation">vertical</property>
 119                     <child>
 120                       <object class="GtkLabel" id="label34">
 121                         <property name="visible">True</property>
 122                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 123                         <property name="xalign">0</property>
 124                         <property name="label" translatable="yes">Value:</property>
 125                       </object>
 126                       <packing>
 127                         <property name="expand">False</property>
 128                         <property name="fill">False</property>
 129                         <property name="padding">5</property>
 130                         <property name="position">0</property>
 131                       </packing>
 132                     </child>
 133                     <child>
 134                       <object class="GtkEntry" id="find-value-entry">
 135                         <property name="visible">True</property>
 136                         <property name="can_focus">True</property>
 137                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 138                       </object>
 139                       <packing>
 140                         <property name="expand">False</property>
 141                         <property name="fill">False</property>
 142                         <property name="position">1</property>
 143                       </packing>
 144                     </child>
 145                     <child>
 146                       <object class="GtkCheckButton" id="find-value-labels-checkbutton">
 147                         <property name="label" translatable="yes">Search value labels</property>
 148                         <property name="visible">True</property>
 149                         <property name="sensitive">False</property>
 150                         <property name="can_focus">True</property>
 151                         <property name="receives_default">False</property>
 152                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 153                         <property name="draw_indicator">True</property>
 154                       </object>
 155                       <packing>
 156                         <property name="expand">False</property>
 157                         <property name="position">2</property>
 158                       </packing>
 159                     </child>
 160                   </object>
 161                   <packing>
 162                     <property name="position">1</property>
 163                   </packing>
 164                 </child>
 165                 <child>
 166                   <object class="GtkVButtonBox" id="bb1">
 167                     <property name="visible">True</property>
 168                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 169                     <child>
 170                       <object class="GtkCheckButton" id="find-match-regexp-checkbutton">
 171                         <property name="label" translatable="yes">Regular expression Match</property>
 172                         <property name="visible">True</property>
 173                         <property name="sensitive">False</property>
 174                         <property name="can_focus">True</property>
 175                         <property name="receives_default">False</property>
 176                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 177                         <property name="draw_indicator">True</property>
 178                       </object>
 179                       <packing>
 180                         <property name="expand">False</property>
 181                         <property name="fill">False</property>
 182                         <property name="position">0</property>
 183                       </packing>
 184                     </child>
 185                     <child>
 186                       <object class="GtkCheckButton" id="find-match-substring-checkbutton">
 187                         <property name="label" translatable="yes">Search substrings</property>
 188                         <property name="visible">True</property>
 189                         <property name="sensitive">False</property>
 190                         <property name="can_focus">True</property>
 191                         <property name="receives_default">False</property>
 192                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 193                         <property name="draw_indicator">True</property>
 194                       </object>
 195                       <packing>
 196                         <property name="expand">False</property>
 197                         <property name="fill">False</property>
 198                         <property name="position">1</property>
 199                       </packing>
 200                     </child>
 201                     <child>
 202                       <object class="GtkCheckButton" id="find-wrap">
 203                         <property name="label" translatable="yes">Wrap around</property>
 204                         <property name="visible">True</property>
 205                         <property name="can_focus">True</property>
 206                         <property name="receives_default">False</property>
 207                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 208                         <property name="draw_indicator">True</property>
 209                       </object>
 210                       <packing>
 211                         <property name="expand">False</property>
 212                         <property name="fill">False</property>
 213                         <property name="position">2</property>
 214                       </packing>
 215                     </child>
 216                     <child>
 217                       <object class="GtkCheckButton" id="find-backwards">
 218                         <property name="label" translatable="yes">Search backward</property>
 219                         <property name="visible">True</property>
 220                         <property name="can_focus">True</property>
 221                         <property name="receives_default">False</property>
 222                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 223                         <property name="draw_indicator">True</property>
 224                       </object>
 225                       <packing>
 226                         <property name="expand">False</property>
 227                         <property name="fill">False</property>
 228                         <property name="position">3</property>
 229                       </packing>
 230                     </child>
 231                   </object>
 232                   <packing>
 233                     <property name="position">2</property>
 234                   </packing>
 235                 </child>
 236               </object>
 237               <packing>
 238                 <property name="expand">False</property>
 239                 <property name="position">3</property>
 240               </packing>
 241             </child>
 242           </object>
 243           <packing>
 244             <property name="position">0</property>
 245           </packing>
 246         </child>
 247         <child>
 248           <object class="PsppireVButtonBox" id="find-buttonbox">
 249             <property name="visible">True</property>
 250             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 251             <property name="border_width">5</property>
 252             <property name="buttons">PSPPIRE_BUTTON_CLOSE_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
 253           </object>
 254           <packing>
 255             <property name="expand">False</property>
 256             <property name="fill">False</property>
 257             <property name="pack_type">end</property>
 258             <property name="position">1</property>
 259           </packing>
 260         </child>
 261       </object>
 262     </child>
 263   </object>
 264 </interface>