src/ui/gui/find.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <requires lib="psppire"/>
   6   <widget 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       <widget 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           <widget 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               <widget 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">GTK_POLICY_NEVER</property>
  27                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  28                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  29                 <child>
  30                   <widget 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                   </widget>
  37                 </child>
  38               </widget>
  39             </child>
  40             <child>
  41               <widget class="GtkVBox" id="vbox27">
  42                 <property name="visible">True</property>
  43                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  44                 <child>
  45                   <widget class="PsppireSelector" id="find-selector">
  46                     <property name="visible">True</property>
  47                     <property name="can_focus">True</property>
  48                     <property name="receives_default">True</property>
  49                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                     <property name="border_width">5</property>
  51                   </widget>
  52                   <packing>
  53                     <property name="expand">False</property>
  54                     <property name="fill">False</property>
  55                   </packing>
  56                 </child>
  57                 <child>
  58                   <placeholder/>
  59                 </child>
  60               </widget>
  61               <packing>
  62                 <property name="expand">False</property>
  63                 <property name="fill">False</property>
  64                 <property name="position">1</property>
  65               </packing>
  66             </child>
  67             <child>
  68               <widget class="GtkVBox" id="vbox10">
  69                 <property name="visible">True</property>
  70                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  71                 <child>
  72                   <widget class="GtkVBox" id="vbox11">
  73                     <property name="visible">True</property>
  74                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  75                     <child>
  76                       <widget class="GtkLabel" id="label33">
  77                         <property name="visible">True</property>
  78                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  79                         <property name="xalign">0</property>
  80                         <property name="label" translatable="yes">Variable:</property>
  81                       </widget>
  82                       <packing>
  83                         <property name="expand">False</property>
  84                         <property name="fill">False</property>
  85                         <property name="padding">5</property>
  86                       </packing>
  87                     </child>
  88                     <child>
  89                       <widget class="GtkEntry" id="find-variable-entry">
  90                         <property name="visible">True</property>
  91                         <property name="can_focus">True</property>
  92                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  93                       </widget>
  94                       <packing>
  95                         <property name="expand">False</property>
  96                         <property name="fill">False</property>
  97                         <property name="position">1</property>
  98                       </packing>
  99                     </child>
 100                   </widget>
 101                 </child>
 102                 <child>
 103                   <widget class="GtkVBox" id="vbox15">
 104                     <property name="visible">True</property>
 105                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 106                     <child>
 107                       <widget class="GtkLabel" id="label34">
 108                         <property name="visible">True</property>
 109                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 110                         <property name="xalign">0</property>
 111                         <property name="label" translatable="yes">Value:</property>
 112                       </widget>
 113                       <packing>
 114                         <property name="expand">False</property>
 115                         <property name="fill">False</property>
 116                         <property name="padding">5</property>
 117                       </packing>
 118                     </child>
 119                     <child>
 120                       <widget class="GtkEntry" id="find-value-entry">
 121                         <property name="visible">True</property>
 122                         <property name="can_focus">True</property>
 123                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 124                       </widget>
 125                       <packing>
 126                         <property name="expand">False</property>
 127                         <property name="fill">False</property>
 128                         <property name="position">1</property>
 129                       </packing>
 130                     </child>
 131                     <child>
 132                       <widget class="GtkCheckButton" id="find-value-labels-checkbutton">
 133                         <property name="visible">True</property>
 134                         <property name="sensitive">False</property>
 135                         <property name="can_focus">True</property>
 136                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 137                         <property name="label" translatable="yes">Search value labels</property>
 138                         <property name="response_id">0</property>
 139                         <property name="draw_indicator">True</property>
 140                       </widget>
 141                       <packing>
 142                         <property name="expand">False</property>
 143                         <property name="position">2</property>
 144                       </packing>
 145                     </child>
 146                   </widget>
 147                   <packing>
 148                     <property name="position">1</property>
 149                   </packing>
 150                 </child>
 151                 <child>
 152                   <widget class="GtkVButtonBox" id="bb1">
 153                     <property name="visible">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                     <child>
 156                       <widget class="GtkCheckButton" id="find-match-regexp-checkbutton">
 157                         <property name="visible">True</property>
 158                         <property name="sensitive">False</property>
 159                         <property name="can_focus">True</property>
 160                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 161                         <property name="label" translatable="yes">Regular expression Match</property>
 162                         <property name="response_id">0</property>
 163                         <property name="draw_indicator">True</property>
 164                       </widget>
 165                     </child>
 166                     <child>
 167                       <widget class="GtkCheckButton" id="find-match-substring-checkbutton">
 168                         <property name="visible">True</property>
 169                         <property name="sensitive">False</property>
 170                         <property name="can_focus">True</property>
 171                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 172                         <property name="label" translatable="yes">Search substrings</property>
 173                         <property name="response_id">0</property>
 174                         <property name="draw_indicator">True</property>
 175                       </widget>
 176                       <packing>
 177                         <property name="position">1</property>
 178                       </packing>
 179                     </child>
 180                     <child>
 181                       <widget class="GtkCheckButton" id="find-wrap">
 182                         <property name="visible">True</property>
 183                         <property name="can_focus">True</property>
 184                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 185                         <property name="label" translatable="yes">Wrap around</property>
 186                         <property name="response_id">0</property>
 187                         <property name="draw_indicator">True</property>
 188                       </widget>
 189                       <packing>
 190                         <property name="position">2</property>
 191                       </packing>
 192                     </child>
 193                     <child>
 194                       <widget class="GtkCheckButton" id="find-backwards">
 195                         <property name="visible">True</property>
 196                         <property name="can_focus">True</property>
 197                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 198                         <property name="label" translatable="yes">Search backward</property>
 199                         <property name="response_id">0</property>
 200                         <property name="draw_indicator">True</property>
 201                       </widget>
 202                       <packing>
 203                         <property name="position">3</property>
 204                       </packing>
 205                     </child>
 206                   </widget>
 207                   <packing>
 208                     <property name="position">2</property>
 209                   </packing>
 210                 </child>
 211               </widget>
 212               <packing>
 213                 <property name="expand">False</property>
 214                 <property name="position">3</property>
 215               </packing>
 216             </child>
 217           </widget>
 218         </child>
 219         <child>
 220           <widget class="PsppireVButtonBox" id="find-buttonbox">
 221             <property name="visible">True</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="border_width">5</property>
 224             <property name="buttons">PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
 225           </widget>
 226           <packing>
 227             <property name="expand">False</property>
 228             <property name="fill">False</property>
 229             <property name="pack_type">GTK_PACK_END</property>
 230             <property name="position">1</property>
 231           </packing>
 232         </child>
 233       </widget>
 234     </child>
 235   </widget>
 236 </glade-interface>