src/frontends/gtk/glade/float.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkDialog" id="dialog">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">dialog1</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">False</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="has_separator">False</property>
  20
  21   <child internal-child="vbox">
  22     <widget class="GtkVBox" id="dialog-vbox1">
  23       <property name="visible">True</property>
  24       <property name="homogeneous">False</property>
  25       <property name="spacing">0</property>
  26
  27       <child internal-child="action_area">
  28         <widget class="GtkHButtonBox" id="dialog-action_area1">
  29           <property name="visible">True</property>
  30           <property name="layout_style">GTK_BUTTONBOX_END</property>
  31
  32           <child>
  33             <widget class="GtkButton" id="Close">
  34               <property name="visible">True</property>
  35               <property name="can_default">True</property>
  36               <property name="can_focus">True</property>
  37               <property name="label">gtk-close</property>
  38               <property name="use_stock">True</property>
  39               <property name="relief">GTK_RELIEF_NORMAL</property>
  40               <property name="focus_on_click">True</property>
  41               <property name="response_id">-7</property>
  42               <accelerator key="Escape" modifiers="0" signal="clicked"/>
  43             </widget>
  44           </child>
  45         </widget>
  46         <packing>
  47           <property name="padding">0</property>
  48           <property name="expand">False</property>
  49           <property name="fill">True</property>
  50           <property name="pack_type">GTK_PACK_END</property>
  51         </packing>
  52       </child>
  53
  54       <child>
  55         <widget class="GtkVBox" id="vbox1">
  56           <property name="border_width">12</property>
  57           <property name="visible">True</property>
  58           <property name="homogeneous">False</property>
  59           <property name="spacing">0</property>
  60
  61           <child>
  62             <widget class="GtkLabel" id="label2">
  63               <property name="visible">True</property>
  64               <property name="label" translatable="yes">&lt;b&gt;Placement&lt;/b&gt;</property>
  65               <property name="use_underline">False</property>
  66               <property name="use_markup">True</property>
  67               <property name="justify">GTK_JUSTIFY_LEFT</property>
  68               <property name="wrap">False</property>
  69               <property name="selectable">False</property>
  70               <property name="xalign">0</property>
  71               <property name="yalign">0.5</property>
  72               <property name="xpad">0</property>
  73               <property name="ypad">0</property>
  74             </widget>
  75             <packing>
  76               <property name="padding">0</property>
  77               <property name="expand">False</property>
  78               <property name="fill">False</property>
  79             </packing>
  80           </child>
  81
  82           <child>
  83             <widget class="GtkAlignment" id="alignment1">
  84               <property name="visible">True</property>
  85               <property name="xalign">0.5</property>
  86               <property name="yalign">0.5</property>
  87               <property name="xscale">1</property>
  88               <property name="yscale">1</property>
  89               <property name="top_padding">0</property>
  90               <property name="bottom_padding">0</property>
  91               <property name="left_padding">12</property>
  92               <property name="right_padding">0</property>
  93
  94               <child>
  95                 <widget class="GtkVBox" id="vbox2">
  96                   <property name="visible">True</property>
  97                   <property name="homogeneous">False</property>
  98                   <property name="spacing">0</property>
  99
 100                   <child>
 101                     <widget class="GtkRadioButton" id="Default">
 102                       <property name="visible">True</property>
 103                       <property name="can_focus">True</property>
 104                       <property name="label" translatable="yes">_Document Default</property>
 105                       <property name="use_underline">True</property>
 106                       <property name="relief">GTK_RELIEF_NORMAL</property>
 107                       <property name="focus_on_click">True</property>
 108                       <property name="active">False</property>
 109                       <property name="inconsistent">False</property>
 110                       <property name="draw_indicator">True</property>
 111                     </widget>
 112                     <packing>
 113                       <property name="padding">0</property>
 114                       <property name="expand">False</property>
 115                       <property name="fill">False</property>
 116                     </packing>
 117                   </child>
 118
 119                   <child>
 120                     <widget class="GtkRadioButton" id="HereDefinitely">
 121                       <property name="visible">True</property>
 122                       <property name="can_focus">True</property>
 123                       <property name="label" translatable="yes">_Here, definitely</property>
 124                       <property name="use_underline">True</property>
 125                       <property name="relief">GTK_RELIEF_NORMAL</property>
 126                       <property name="focus_on_click">True</property>
 127                       <property name="active">False</property>
 128                       <property name="inconsistent">False</property>
 129                       <property name="draw_indicator">True</property>
 130                       <property name="group">Default</property>
 131                     </widget>
 132                     <packing>
 133                       <property name="padding">0</property>
 134                       <property name="expand">False</property>
 135                       <property name="fill">False</property>
 136                     </packing>
 137                   </child>
 138
 139                   <child>
 140                     <widget class="GtkRadioButton" id="Alternative">
 141                       <property name="visible">True</property>
 142                       <property name="can_focus">True</property>
 143                       <property name="label" translatable="yes">_Alternative:</property>
 144                       <property name="use_underline">True</property>
 145                       <property name="relief">GTK_RELIEF_NORMAL</property>
 146                       <property name="focus_on_click">True</property>
 147                       <property name="active">False</property>
 148                       <property name="inconsistent">False</property>
 149                       <property name="draw_indicator">True</property>
 150                       <property name="group">Default</property>
 151                     </widget>
 152                     <packing>
 153                       <property name="padding">0</property>
 154                       <property name="expand">False</property>
 155                       <property name="fill">False</property>
 156                     </packing>
 157                   </child>
 158
 159                   <child>
 160                     <widget class="GtkAlignment" id="alignment1">
 161                       <property name="visible">True</property>
 162                       <property name="xalign">0.5</property>
 163                       <property name="yalign">0.5</property>
 164                       <property name="xscale">1</property>
 165                       <property name="yscale">1</property>
 166                       <property name="top_padding">0</property>
 167                       <property name="bottom_padding">0</property>
 168                       <property name="left_padding">11</property>
 169                       <property name="right_padding">0</property>
 170
 171                       <child>
 172                         <widget class="GtkVBox" id="vbox3">
 173                           <property name="visible">True</property>
 174                           <property name="homogeneous">False</property>
 175                           <property name="spacing">0</property>
 176
 177                           <child>
 178                             <widget class="GtkCheckButton" id="Top">
 179                               <property name="visible">True</property>
 180                               <property name="sensitive">False</property>
 181                               <property name="can_focus">True</property>
 182                               <property name="label" translatable="yes">_Top of page</property>
 183                               <property name="use_underline">True</property>
 184                               <property name="relief">GTK_RELIEF_NORMAL</property>
 185                               <property name="focus_on_click">True</property>
 186                               <property name="active">False</property>
 187                               <property name="inconsistent">False</property>
 188                               <property name="draw_indicator">True</property>
 189                             </widget>
 190                             <packing>
 191                               <property name="padding">0</property>
 192                               <property name="expand">False</property>
 193                               <property name="fill">False</property>
 194                             </packing>
 195                           </child>
 196
 197                           <child>
 198                             <widget class="GtkCheckButton" id="Bottom">
 199                               <property name="visible">True</property>
 200                               <property name="sensitive">False</property>
 201                               <property name="can_focus">True</property>
 202                               <property name="label" translatable="yes">_Bottom of page</property>
 203                               <property name="use_underline">True</property>
 204                               <property name="relief">GTK_RELIEF_NORMAL</property>
 205                               <property name="focus_on_click">True</property>
 206                               <property name="active">False</property>
 207                               <property name="inconsistent">False</property>
 208                               <property name="draw_indicator">True</property>
 209                             </widget>
 210                             <packing>
 211                               <property name="padding">0</property>
 212                               <property name="expand">False</property>
 213                               <property name="fill">False</property>
 214                             </packing>
 215                           </child>
 216
 217                           <child>
 218                             <widget class="GtkCheckButton" id="PageOfFloats">
 219                               <property name="visible">True</property>
 220                               <property name="sensitive">False</property>
 221                               <property name="can_focus">True</property>
 222                               <property name="label" translatable="yes">_Page of floats</property>
 223                               <property name="use_underline">True</property>
 224                               <property name="relief">GTK_RELIEF_NORMAL</property>
 225                               <property name="focus_on_click">True</property>
 226                               <property name="active">False</property>
 227                               <property name="inconsistent">False</property>
 228                               <property name="draw_indicator">True</property>
 229                             </widget>
 230                             <packing>
 231                               <property name="padding">0</property>
 232                               <property name="expand">False</property>
 233                               <property name="fill">False</property>
 234                             </packing>
 235                           </child>
 236
 237                           <child>
 238                             <widget class="GtkCheckButton" id="HereIfPossible">
 239                               <property name="visible">True</property>
 240                               <property name="sensitive">False</property>
 241                               <property name="can_focus">True</property>
 242                               <property name="label" translatable="yes">He_re, if possible</property>
 243                               <property name="use_underline">True</property>
 244                               <property name="relief">GTK_RELIEF_NORMAL</property>
 245                               <property name="focus_on_click">True</property>
 246                               <property name="active">False</property>
 247                               <property name="inconsistent">False</property>
 248                               <property name="draw_indicator">True</property>
 249                             </widget>
 250                             <packing>
 251                               <property name="padding">0</property>
 252                               <property name="expand">False</property>
 253                               <property name="fill">False</property>
 254                             </packing>
 255                           </child>
 256
 257                           <child>
 258                             <widget class="GtkCheckButton" id="IgnoreRules">
 259                               <property name="visible">True</property>
 260                               <property name="sensitive">False</property>
 261                               <property name="can_focus">True</property>
 262                               <property name="label" translatable="yes">_Ignore LaTeX rules</property>
 263                               <property name="use_underline">True</property>
 264                               <property name="relief">GTK_RELIEF_NORMAL</property>
 265                               <property name="focus_on_click">True</property>
 266                               <property name="active">False</property>
 267                               <property name="inconsistent">False</property>
 268                               <property name="draw_indicator">True</property>
 269                             </widget>
 270                             <packing>
 271                               <property name="padding">0</property>
 272                               <property name="expand">False</property>
 273                               <property name="fill">False</property>
 274                             </packing>
 275                           </child>
 276                         </widget>
 277                       </child>
 278                     </widget>
 279                     <packing>
 280                       <property name="padding">0</property>
 281                       <property name="expand">True</property>
 282                       <property name="fill">True</property>
 283                     </packing>
 284                   </child>
 285                 </widget>
 286               </child>
 287             </widget>
 288             <packing>
 289               <property name="padding">0</property>
 290               <property name="expand">True</property>
 291               <property name="fill">True</property>
 292             </packing>
 293           </child>
 294
 295           <child>
 296             <widget class="GtkLabel" id="label1">
 297               <property name="visible">True</property>
 298               <property name="label" translatable="yes">&lt;b&gt;Other&lt;/b&gt;</property>
 299               <property name="use_underline">False</property>
 300               <property name="use_markup">True</property>
 301               <property name="justify">GTK_JUSTIFY_LEFT</property>
 302               <property name="wrap">False</property>
 303               <property name="selectable">False</property>
 304               <property name="xalign">0</property>
 305               <property name="yalign">0.5</property>
 306               <property name="xpad">0</property>
 307               <property name="ypad">0</property>
 308             </widget>
 309             <packing>
 310               <property name="padding">0</property>
 311               <property name="expand">False</property>
 312               <property name="fill">False</property>
 313             </packing>
 314           </child>
 315
 316           <child>
 317             <widget class="GtkAlignment" id="alignment2">
 318               <property name="visible">True</property>
 319               <property name="xalign">0.5</property>
 320               <property name="yalign">0.5</property>
 321               <property name="xscale">1</property>
 322               <property name="yscale">1</property>
 323               <property name="top_padding">0</property>
 324               <property name="bottom_padding">0</property>
 325               <property name="left_padding">12</property>
 326               <property name="right_padding">0</property>
 327
 328               <child>
 329                 <widget class="GtkVBox" id="vbox4">
 330                   <property name="visible">True</property>
 331                   <property name="homogeneous">False</property>
 332                   <property name="spacing">0</property>
 333
 334                   <child>
 335                     <widget class="GtkCheckButton" id="SpanColumns">
 336                       <property name="visible">True</property>
 337                       <property name="can_focus">True</property>
 338                       <property name="label" translatable="yes">_Span columns</property>
 339                       <property name="use_underline">True</property>
 340                       <property name="relief">GTK_RELIEF_NORMAL</property>
 341                       <property name="focus_on_click">True</property>
 342                       <property name="active">False</property>
 343                       <property name="inconsistent">False</property>
 344                       <property name="draw_indicator">True</property>
 345                     </widget>
 346                     <packing>
 347                       <property name="padding">0</property>
 348                       <property name="expand">False</property>
 349                       <property name="fill">False</property>
 350                     </packing>
 351                   </child>
 352
 353                   <child>
 354                     <widget class="GtkCheckButton" id="RotateSideways">
 355                       <property name="visible">True</property>
 356                       <property name="can_focus">True</property>
 357                       <property name="label" translatable="yes">R_otate sideways</property>
 358                       <property name="use_underline">True</property>
 359                       <property name="relief">GTK_RELIEF_NORMAL</property>
 360                       <property name="focus_on_click">True</property>
 361                       <property name="active">False</property>
 362                       <property name="inconsistent">False</property>
 363                       <property name="draw_indicator">True</property>
 364                     </widget>
 365                     <packing>
 366                       <property name="padding">0</property>
 367                       <property name="expand">False</property>
 368                       <property name="fill">False</property>
 369                     </packing>
 370                   </child>
 371                 </widget>
 372               </child>
 373             </widget>
 374             <packing>
 375               <property name="padding">0</property>
 376               <property name="expand">True</property>
 377               <property name="fill">True</property>
 378             </packing>
 379           </child>
 380         </widget>
 381         <packing>
 382           <property name="padding">0</property>
 383           <property name="expand">True</property>
 384           <property name="fill">True</property>
 385         </packing>
 386       </child>
 387     </widget>
 388   </child>
 389 </widget>
 390
 391 </glade-interface>