pintos-os.org Git - pspp/blob - src/ui/gui/var-type-dialog.ui

   1 <?xml version="1.0"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 2.12 -->
   4   <!-- interface-naming-policy project-wide -->
   5   <object class="GtkAdjustment" id="adj_width">
   6     <property name="value">1</property>
   7     <property name="lower">1</property>
   8     <property name="upper">40</property>
   9     <property name="step_increment">1</property>
  10     <property name="page_increment">1</property>
  11   </object>
  12   <object class="GtkAdjustment" id="adj_decimals">
  13     <property name="value">0</property>
  14     <property name="lower">0</property>
  15     <property name="upper">40</property>
  16     <property name="step_increment">1</property>
  17     <property name="page_increment">1</property>
  18   </object>
  19   <object class="GtkWindow" id="var_type_dialog">
  20     <property name="border_width">6</property>
  21     <property name="title" translatable="yes">Variable Type</property>
  22     <property name="resizable">False</property>
  23     <property name="modal">True</property>
  24     <property name="default_width">485</property>
  25     <property name="type_hint">dialog</property>
  26     <property name="skip_taskbar_hint">True</property>
  27     <property name="skip_pager_hint">True</property>
  28     <child>
  29       <object class="GtkHBox" id="hbox1">
  30         <property name="visible">True</property>
  31         <property name="border_width">5</property>
  32         <property name="spacing">5</property>
  33         <child>
  34           <object class="GtkVBox" id="vbox2">
  35             <property name="visible">True</property>
  36             <property name="border_width">13</property>
  37             <property name="orientation">vertical</property>
  38             <property name="homogeneous">True</property>
  39             <child>
  40               <object class="GtkRadioButton" id="radiobutton1">
  41                 <property name="label" translatable="yes">Numeric</property>
  42                 <property name="visible">True</property>
  43                 <property name="can_focus">True</property>
  44                 <property name="receives_default">False</property>
  45                 <property name="use_underline">True</property>
  46                 <property name="active">True</property>
  47                 <property name="draw_indicator">True</property>
  48               </object>
  49               <packing>
  50                 <property name="expand">False</property>
  51                 <property name="fill">False</property>
  52                 <property name="position">0</property>
  53               </packing>
  54             </child>
  55             <child>
  56               <object class="GtkRadioButton" id="radiobutton2">
  57                 <property name="label" translatable="yes">Comma</property>
  58                 <property name="visible">True</property>
  59                 <property name="can_focus">True</property>
  60                 <property name="receives_default">False</property>
  61                 <property name="use_underline">True</property>
  62                 <property name="draw_indicator">True</property>
  63                 <property name="group">radiobutton1</property>
  64               </object>
  65               <packing>
  66                 <property name="expand">False</property>
  67                 <property name="fill">False</property>
  68                 <property name="position">1</property>
  69               </packing>
  70             </child>
  71             <child>
  72               <object class="GtkRadioButton" id="radiobutton3">
  73                 <property name="label" translatable="yes">Dot</property>
  74                 <property name="visible">True</property>
  75                 <property name="can_focus">True</property>
  76                 <property name="receives_default">False</property>
  77                 <property name="use_underline">True</property>
  78                 <property name="draw_indicator">True</property>
  79                 <property name="group">radiobutton1</property>
  80               </object>
  81               <packing>
  82                 <property name="expand">False</property>
  83                 <property name="fill">False</property>
  84                 <property name="position">2</property>
  85               </packing>
  86             </child>
  87             <child>
  88               <object class="GtkRadioButton" id="radiobutton4">
  89                 <property name="label" translatable="yes">Scientific notation</property>
  90                 <property name="visible">True</property>
  91                 <property name="can_focus">True</property>
  92                 <property name="receives_default">False</property>
  93                 <property name="use_underline">True</property>
  94                 <property name="draw_indicator">True</property>
  95                 <property name="group">radiobutton1</property>
  96               </object>
  97               <packing>
  98                 <property name="expand">False</property>
  99                 <property name="fill">False</property>
 100                 <property name="position">3</property>
 101               </packing>
 102             </child>
 103             <child>
 104               <object class="GtkRadioButton" id="radiobutton5">
 105                 <property name="label" translatable="yes">Date</property>
 106                 <property name="visible">True</property>
 107                 <property name="can_focus">True</property>
 108                 <property name="receives_default">False</property>
 109                 <property name="use_underline">True</property>
 110                 <property name="draw_indicator">True</property>
 111                 <property name="group">radiobutton1</property>
 112               </object>
 113               <packing>
 114                 <property name="expand">False</property>
 115                 <property name="fill">False</property>
 116                 <property name="position">4</property>
 117               </packing>
 118             </child>
 119             <child>
 120               <object class="GtkRadioButton" id="radiobutton6">
 121                 <property name="label" translatable="yes">Dollar</property>
 122                 <property name="visible">True</property>
 123                 <property name="can_focus">True</property>
 124                 <property name="receives_default">False</property>
 125                 <property name="use_underline">True</property>
 126                 <property name="draw_indicator">True</property>
 127                 <property name="group">radiobutton1</property>
 128               </object>
 129               <packing>
 130                 <property name="expand">False</property>
 131                 <property name="fill">False</property>
 132                 <property name="position">5</property>
 133               </packing>
 134             </child>
 135             <child>
 136               <object class="GtkRadioButton" id="radiobutton7">
 137                 <property name="label" translatable="yes">Custom currency</property>
 138                 <property name="visible">True</property>
 139                 <property name="can_focus">True</property>
 140                 <property name="receives_default">False</property>
 141                 <property name="use_underline">True</property>
 142                 <property name="draw_indicator">True</property>
 143                 <property name="group">radiobutton1</property>
 144               </object>
 145               <packing>
 146                 <property name="expand">False</property>
 147                 <property name="fill">False</property>
 148                 <property name="position">6</property>
 149               </packing>
 150             </child>
 151             <child>
 152               <object class="GtkRadioButton" id="radiobutton8">
 153                 <property name="label" translatable="yes">String</property>
 154                 <property name="visible">True</property>
 155                 <property name="can_focus">True</property>
 156                 <property name="receives_default">False</property>
 157                 <property name="use_underline">True</property>
 158                 <property name="draw_indicator">True</property>
 159                 <property name="group">radiobutton1</property>
 160               </object>
 161               <packing>
 162                 <property name="expand">False</property>
 163                 <property name="fill">False</property>
 164                 <property name="position">7</property>
 165               </packing>
 166             </child>
 167           </object>
 168           <packing>
 169             <property name="expand">False</property>
 170             <property name="fill">False</property>
 171             <property name="position">0</property>
 172           </packing>
 173         </child>
 174         <child>
 175           <object class="GtkVBox" id="middle_box">
 176             <property name="visible">True</property>
 177             <property name="spacing">10</property>
 178             <child>
 179               <object class="GtkScrolledWindow" id="scrolledwindow4">
 180                 <property name="width_request">20</property>
 181                 <property name="height_request">194</property>
 182                 <property name="can_focus">True</property>
 183                 <property name="hscrollbar_policy">never</property>
 184                 <property name="shadow_type">in</property>
 185                 <child>
 186                   <object class="GtkTreeView" id="date_format_list_view">
 187                     <property name="visible">True</property>
 188                     <property name="can_focus">True</property>
 189                     <property name="headers_visible">False</property>
 190                   </object>
 191                 </child>
 192               </object>
 193               <packing>
 194                 <property name="expand">False</property>
 195                 <property name="fill">False</property>
 196                 <property name="position">0</property>
 197               </packing>
 198             </child>
 199             <child>
 200               <object class="GtkHBox" id="custom_currency_hbox">
 201                 <property name="spacing">15</property>
 202                 <child>
 203                   <object class="GtkScrolledWindow" id="scrolledwindow5">
 204                     <property name="width_request">1</property>
 205                     <property name="height_request">120</property>
 206                     <property name="visible">True</property>
 207                     <property name="can_focus">True</property>
 208                     <property name="hscrollbar_policy">never</property>
 209                     <property name="vscrollbar_policy">never</property>
 210                     <property name="shadow_type">in</property>
 211                     <child>
 212                       <object class="GtkTreeView" id="custom_treeview">
 213                         <property name="visible">True</property>
 214                         <property name="can_focus">True</property>
 215                         <property name="headers_visible">False</property>
 216                       </object>
 217                     </child>
 218                   </object>
 219                   <packing>
 220                     <property name="position">0</property>
 221                   </packing>
 222                 </child>
 223                 <child>
 224                   <object class="GtkFrame" id="Sample">
 225                     <property name="visible">True</property>
 226                     <property name="label_xalign">0</property>
 227                     <child>
 228                       <object class="GtkAlignment" id="alignment2">
 229                         <property name="visible">True</property>
 230                         <property name="left_padding">12</property>
 231                         <child>
 232                           <object class="GtkVBox" id="vbox10">
 233                             <property name="visible">True</property>
 234                             <property name="orientation">vertical</property>
 235                             <property name="homogeneous">True</property>
 236                             <child>
 237                               <object class="GtkLabel" id="psample_label">
 238                                 <property name="visible">True</property>
 239                                 <property name="label" translatable="yes">positive</property>
 240                               </object>
 241                               <packing>
 242                                 <property name="position">0</property>
 243                               </packing>
 244                             </child>
 245                             <child>
 246                               <object class="GtkLabel" id="nsample_label">
 247                                 <property name="visible">True</property>
 248                                 <property name="label" translatable="yes">negative</property>
 249                               </object>
 250                               <packing>
 251                                 <property name="position">1</property>
 252                               </packing>
 253                             </child>
 254                           </object>
 255                         </child>
 256                       </object>
 257                     </child>
 258                     <child type="label">
 259                       <object class="GtkLabel" id="label13">
 260                         <property name="visible">True</property>
 261                         <property name="label" translatable="yes">Sample</property>
 262                         <property name="use_markup">True</property>
 263                       </object>
 264                     </child>
 265                   </object>
 266                   <packing>
 267                     <property name="pack_type">end</property>
 268                     <property name="position">1</property>
 269                   </packing>
 270                 </child>
 271               </object>
 272               <packing>
 273                 <property name="position">1</property>
 274               </packing>
 275             </child>
 276             <child>
 277               <object class="GtkScrolledWindow" id="dollar_window">
 278                 <property name="can_focus">True</property>
 279                 <property name="hscrollbar_policy">never</property>
 280                 <property name="shadow_type">in</property>
 281                 <child>
 282                   <object class="GtkTreeView" id="dollar_treeview">
 283                     <property name="visible">True</property>
 284                     <property name="can_focus">True</property>
 285                     <property name="headers_visible">False</property>
 286                   </object>
 287                 </child>
 288               </object>
 289               <packing>
 290                 <property name="position">2</property>
 291               </packing>
 292             </child>
 293             <child>
 294               <object class="GtkTable" id="width_decimals">
 295                 <property name="width_request">100</property>
 296                 <property name="height_request">50</property>
 297                 <property name="visible">True</property>
 298                 <property name="n_rows">2</property>
 299                 <property name="n_columns">2</property>
 300                 <property name="column_spacing">2</property>
 301                 <property name="row_spacing">1</property>
 302                 <child>
 303                   <object class="GtkHBox" id="hbox2">
 304                     <property name="visible">True</property>
 305                     <child>
 306                       <object class="GtkLabel" id="width_label">
 307                         <property name="visible">True</property>
 308                         <property name="label" translatable="yes">Width:</property>
 309                         <property name="justify">right</property>
 310                       </object>
 311                       <packing>
 312                         <property name="expand">False</property>
 313                         <property name="fill">False</property>
 314                         <property name="pack_type">end</property>
 315                         <property name="position">0</property>
 316                       </packing>
 317                     </child>
 318                   </object>
 319                   <packing>
 320                     <property name="x_options">GTK_FILL</property>
 321                     <property name="y_options">GTK_FILL</property>
 322                   </packing>
 323                 </child>
 324                 <child>
 325                   <object class="GtkSpinButton" id="decimals_entry">
 326                     <property name="width_request">25</property>
 327                     <property name="visible">True</property>
 328                     <property name="can_focus">True</property>
 329                     <property name="digits">0</property>
 330                     <property name="numeric">True</property>
 331                     <property name="adjustment">adj_decimals</property>
 332                   </object>
 333                   <packing>
 334                     <property name="left_attach">1</property>
 335                     <property name="right_attach">2</property>
 336                     <property name="top_attach">1</property>
 337                     <property name="bottom_attach">2</property>
 338                     <property name="y_options"></property>
 339                   </packing>
 340                 </child>
 341                 <child>
 342                   <object class="GtkSpinButton" id="width_entry">
 343                     <property name="width_request">25</property>
 344                     <property name="can_focus">True</property>
 345                     <property name="digits">0</property>
 346                     <property name="numeric">True</property>
 347                     <property name="adjustment">adj_width</property>
 348                   </object>
 349                   <packing>
 350                     <property name="left_attach">1</property>
 351                     <property name="right_attach">2</property>
 352                     <property name="y_options"></property>
 353                   </packing>
 354                 </child>
 355                 <child>
 356                   <object class="GtkLabel" id="decimals_label">
 357                     <property name="visible">True</property>
 358                     <property name="xalign">0</property>
 359                     <property name="label" translatable="yes">Decimal Places:</property>
 360                     <property name="justify">right</property>
 361                   </object>
 362                   <packing>
 363                     <property name="top_attach">1</property>
 364                     <property name="bottom_attach">2</property>
 365                     <property name="x_options">GTK_FILL</property>
 366                     <property name="y_options"></property>
 367                   </packing>
 368                 </child>
 369               </object>
 370               <packing>
 371                 <property name="position">3</property>
 372               </packing>
 373             </child>
 374           </object>
 375           <packing>
 376             <property name="fill">False</property>
 377             <property name="position">1</property>
 378           </packing>
 379         </child>
 380         <child>
 381           <object class="GtkVButtonBox" id="vbuttonbox6">
 382             <property name="visible">True</property>
 383             <property name="spacing">5</property>
 384             <property name="layout_style">start</property>
 385             <child>
 386               <object class="GtkButton" id="var_type_ok">
 387                 <property name="label">gtk-ok</property>
 388                 <property name="visible">True</property>
 389                 <property name="can_focus">True</property>
 390                 <property name="can_default">True</property>
 391                 <property name="receives_default">False</property>
 392                 <property name="use_stock">True</property>
 393               </object>
 394               <packing>
 395                 <property name="expand">False</property>
 396                 <property name="fill">False</property>
 397                 <property name="position">0</property>
 398               </packing>
 399             </child>
 400             <child>
 401               <object class="GtkButton" id="var_type_cancel">
 402                 <property name="label">gtk-cancel</property>
 403                 <property name="visible">True</property>
 404                 <property name="can_focus">True</property>
 405                 <property name="can_default">True</property>
 406                 <property name="receives_default">False</property>
 407                 <property name="use_stock">True</property>
 408               </object>
 409               <packing>
 410                 <property name="expand">False</property>
 411                 <property name="fill">False</property>
 412                 <property name="position">1</property>
 413               </packing>
 414             </child>
 415             <child>
 416               <object class="GtkButton" id="help_button_variable_type">
 417                 <property name="label">gtk-help</property>
 418                 <property name="visible">True</property>
 419                 <property name="can_focus">True</property>
 420                 <property name="can_default">True</property>
 421                 <property name="receives_default">False</property>
 422                 <property name="use_stock">True</property>
 423               </object>
 424               <packing>
 425                 <property name="expand">False</property>
 426                 <property name="fill">False</property>
 427                 <property name="position">2</property>
 428               </packing>
 429             </child>
 430           </object>
 431           <packing>
 432             <property name="position">2</property>
 433           </packing>
 434         </child>
 435       </object>
 436     </child>
 437   </object>
 438 </interface>