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

   1 <!-- PSPP - a program for statistical analysis. -->
   2 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
   3
   4 <!-- This program is free software: you can redistribute it and/or modify -->
   5 <!-- it under the terms of the GNU General Public License as published by -->
   6 <!-- the Free Software Foundation, either version 3 of the License, or -->
   7 <!-- (at your option) any later version. -->
   8
   9 <!-- This program is distributed in the hope that it will be useful, -->
  10 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
  11 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the -->
  12 <!-- GNU General Public License for more details. -->
  13
  14 <!-- You should have received a copy of the GNU General Public License -->
  15 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
  16
  17 <?xml version="1.0" encoding="UTF-8"?>
  18 <!-- Generated with glade 3.18.3 -->
  19 <interface>
  20   <requires lib="gtk+" version="3.4.2"/>
  21   <requires lib="psppire" version="2053.63976"/>
  22   <object class="PsppireDialog" id="find-dialog">
  23     <property name="can_focus">False</property>
  24     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  25     <property name="title" translatable="yes">Find Case</property>
  26     <property name="modal">True</property>
  27     <child>
  28       <object class="GtkBox" id="dialog-hbox14">
  29         <property name="visible">True</property>
  30         <property name="can_focus">False</property>
  31         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  32         <property name="spacing">2</property>
  33         <child>
  34           <object class="GtkBox" id="hbox10">
  35             <property name="visible">True</property>
  36             <property name="can_focus">False</property>
  37             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  38             <property name="border_width">5</property>
  39             <property name="spacing">5</property>
  40             <child>
  41               <object class="GtkScrolledWindow" id="scrolledwindow13">
  42                 <property name="visible">True</property>
  43                 <property name="can_focus">True</property>
  44                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  45                 <property name="hscrollbar_policy">never</property>
  46                 <property name="shadow_type">etched-in</property>
  47                 <child>
  48                   <object class="PsppireDictView" id="find-variable-treeview">
  49                     <property name="height_request">300</property>
  50                     <property name="visible">True</property>
  51                     <property name="can_focus">True</property>
  52                     <property name="border_width">0</property>
  53                     <property name="headers_visible">False</property>
  54                     <property name="fixed_height_mode">True</property>
  55                     <child internal-child="selection">
  56                       <object class="GtkTreeSelection" id="psppire-dictview-selection1"/>
  57                     </child>
  58                   </object>
  59                 </child>
  60               </object>
  61               <packing>
  62                 <property name="expand">True</property>
  63                 <property name="fill">True</property>
  64                 <property name="position">0</property>
  65               </packing>
  66             </child>
  67             <child>
  68               <object class="GtkBox" id="vbox27">
  69                 <property name="visible">True</property>
  70                 <property name="can_focus">False</property>
  71                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  72                 <property name="orientation">vertical</property>
  73                 <child>
  74                   <object class="PsppireSelector" id="find-selector">
  75                     <property name="visible">True</property>
  76                     <property name="can_focus">True</property>
  77                     <property name="receives_default">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="border_width">5</property>
  80                     <property name="source_widget">find-variable-treeview</property>
  81                     <property name="dest_widget">find-variable-entry</property>
  82                   </object>
  83                   <packing>
  84                     <property name="expand">False</property>
  85                     <property name="fill">False</property>
  86                     <property name="position">0</property>
  87                   </packing>
  88                 </child>
  89                 <child>
  90                   <placeholder/>
  91                 </child>
  92               </object>
  93               <packing>
  94                 <property name="expand">False</property>
  95                 <property name="fill">False</property>
  96                 <property name="position">1</property>
  97               </packing>
  98             </child>
  99             <child>
 100               <object class="GtkBox" id="vbox10">
 101                 <property name="visible">True</property>
 102                 <property name="can_focus">False</property>
 103                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 104                 <property name="orientation">vertical</property>
 105                 <child>
 106                   <object class="GtkBox" id="vbox11">
 107                     <property name="visible">True</property>
 108                     <property name="can_focus">False</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="orientation">vertical</property>
 111                     <child>
 112                       <object class="GtkLabel" id="label33">
 113                         <property name="visible">True</property>
 114                         <property name="can_focus">False</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="xalign">0</property>
 117                         <property name="label" translatable="yes">Variable:</property>
 118                       </object>
 119                       <packing>
 120                         <property name="expand">False</property>
 121                         <property name="fill">False</property>
 122                         <property name="padding">5</property>
 123                         <property name="position">0</property>
 124                       </packing>
 125                     </child>
 126                     <child>
 127                       <object class="GtkEntry" id="find-variable-entry">
 128                         <property name="visible">True</property>
 129                         <property name="can_focus">True</property>
 130                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 131                       </object>
 132                       <packing>
 133                         <property name="expand">False</property>
 134                         <property name="fill">False</property>
 135                         <property name="position">1</property>
 136                       </packing>
 137                     </child>
 138                   </object>
 139                   <packing>
 140                     <property name="expand">False</property>
 141                     <property name="fill">True</property>
 142                     <property name="position">0</property>
 143                   </packing>
 144                 </child>
 145                 <child>
 146                   <object class="GtkBox" id="vbox15">
 147                     <property name="visible">True</property>
 148                     <property name="can_focus">False</property>
 149                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 150                     <property name="orientation">vertical</property>
 151                     <child>
 152                       <object class="GtkLabel" id="label34">
 153                         <property name="visible">True</property>
 154                         <property name="can_focus">False</property>
 155                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 156                         <property name="xalign">0</property>
 157                         <property name="label" translatable="yes">Value:</property>
 158                       </object>
 159                       <packing>
 160                         <property name="expand">False</property>
 161                         <property name="fill">False</property>
 162                         <property name="padding">5</property>
 163                         <property name="position">0</property>
 164                       </packing>
 165                     </child>
 166                     <child>
 167                       <object class="GtkEntry" id="find-value-entry">
 168                         <property name="visible">True</property>
 169                         <property name="can_focus">True</property>
 170                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 171                       </object>
 172                       <packing>
 173                         <property name="expand">False</property>
 174                         <property name="fill">False</property>
 175                         <property name="position">1</property>
 176                       </packing>
 177                     </child>
 178                     <child>
 179                       <object class="GtkCheckButton" id="find-value-labels-checkbutton">
 180                         <property name="label" translatable="yes">Search value labels</property>
 181                         <property name="visible">True</property>
 182                         <property name="sensitive">False</property>
 183                         <property name="can_focus">True</property>
 184                         <property name="receives_default">False</property>
 185                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 186                         <property name="xalign">0.5</property>
 187                         <property name="draw_indicator">True</property>
 188                       </object>
 189                       <packing>
 190                         <property name="expand">False</property>
 191                         <property name="fill">True</property>
 192                         <property name="position">2</property>
 193                       </packing>
 194                     </child>
 195                   </object>
 196                   <packing>
 197                     <property name="expand">False</property>
 198                     <property name="fill">True</property>
 199                     <property name="position">1</property>
 200                   </packing>
 201                 </child>
 202                 <child>
 203                   <object class="GtkButtonBox" id="bb1">
 204                     <property name="orientation">vertical</property>
 205                     <property name="visible">True</property>
 206                     <property name="can_focus">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                     <child>
 209                       <object class="GtkCheckButton" id="find-match-regexp-checkbutton">
 210                         <property name="label" translatable="yes">Regular expression Match</property>
 211                         <property name="visible">True</property>
 212                         <property name="sensitive">False</property>
 213                         <property name="can_focus">True</property>
 214                         <property name="receives_default">False</property>
 215                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 216                         <property name="xalign">0.5</property>
 217                         <property name="draw_indicator">True</property>
 218                       </object>
 219                       <packing>
 220                         <property name="expand">False</property>
 221                         <property name="fill">False</property>
 222                         <property name="position">0</property>
 223                       </packing>
 224                     </child>
 225                     <child>
 226                       <object class="GtkCheckButton" id="find-match-substring-checkbutton">
 227                         <property name="label" translatable="yes">Search substrings</property>
 228                         <property name="visible">True</property>
 229                         <property name="sensitive">False</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">1</property>
 240                       </packing>
 241                     </child>
 242                     <child>
 243                       <object class="GtkCheckButton" id="find-wrap">
 244                         <property name="label" translatable="yes">Wrap around</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">2</property>
 256                       </packing>
 257                     </child>
 258                     <child>
 259                       <object class="GtkCheckButton" id="find-backwards">
 260                         <property name="label" translatable="yes">Search backward</property>
 261                         <property name="visible">True</property>
 262                         <property name="can_focus">True</property>
 263                         <property name="receives_default">False</property>
 264                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 265                         <property name="xalign">0.5</property>
 266                         <property name="draw_indicator">True</property>
 267                       </object>
 268                       <packing>
 269                         <property name="expand">False</property>
 270                         <property name="fill">False</property>
 271                         <property name="position">3</property>
 272                       </packing>
 273                     </child>
 274                   </object>
 275                   <packing>
 276                     <property name="expand">False</property>
 277                     <property name="fill">True</property>
 278                     <property name="position">2</property>
 279                   </packing>
 280                 </child>
 281               </object>
 282               <packing>
 283                 <property name="expand">False</property>
 284                 <property name="fill">True</property>
 285                 <property name="position">3</property>
 286               </packing>
 287             </child>
 288           </object>
 289           <packing>
 290             <property name="expand">True</property>
 291             <property name="fill">True</property>
 292             <property name="position">0</property>
 293           </packing>
 294         </child>
 295         <child>
 296           <object class="PsppireButtonbox" id="find-buttonbox">
 297             <property name="orientation">vertical</property>
 298             <property name="visible">True</property>
 299             <property name="can_focus">False</property>
 300             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 301             <property name="border_width">5</property>
 302             <property name="buttons">PSPPIRE_BUTTON_CLOSE_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
 303           </object>
 304           <packing>
 305             <property name="expand">False</property>
 306             <property name="fill">False</property>
 307             <property name="pack_type">end</property>
 308             <property name="position">1</property>
 309           </packing>
 310         </child>
 311       </object>
 312     </child>
 313   </object>
 314 </interface>