plugins/document-manager/anjuta-document-manager.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   <widget class="GtkWindow" id="preferences_dialog">
   6     <property name="title" translatable="yes">window1</property>
   7     <child>
   8       <widget class="GtkNotebook" id="Documents">
   9         <property name="visible">True</property>
  10         <property name="can_focus">True</property>
  11         <child>
  12           <widget class="GtkHBox" id="page1">
  13             <property name="visible">True</property>
  14             <property name="border_width">5</property>
  15             <property name="spacing">5</property>
  16             <child>
  17               <widget class="GtkVBox" id="vbox31">
  18                 <property name="visible">True</property>
  19                 <property name="spacing">5</property>
  20                 <child>
  21                   <widget class="GtkFrame" id="frame46">
  22                     <property name="visible">True</property>
  23                     <property name="label_xalign">0</property>
  24                     <property name="shadow_type">GTK_SHADOW_NONE</property>
  25                     <child>
  26                       <widget class="GtkVBox" id="vbox1119">
  27                         <property name="visible">True</property>
  28                         <property name="border_width">5</property>
  29                         <property name="spacing">5</property>
  30                         <child>
  31                           <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:save.automatic">
  32                             <property name="visible">True</property>
  33                             <property name="can_focus">True</property>
  34                             <property name="label" translatable="yes">Enable files autosave</property>
  35                             <property name="use_underline">True</property>
  36                             <property name="response_id">0</property>
  37                             <property name="draw_indicator">True</property>
  38                           </widget>
  39                           <packing>
  40                             <property name="expand">False</property>
  41                             <property name="fill">False</property>
  42                           </packing>
  43                         </child>
  44                         <child>
  45                           <widget class="GtkTable" id="table28">
  46                             <property name="visible">True</property>
  47                             <property name="n_rows">2</property>
  48                             <property name="n_columns">2</property>
  49                             <property name="column_spacing">5</property>
  50                             <property name="row_spacing">5</property>
  51                             <child>
  52                               <widget class="GtkLabel" id="label115">
  53                                 <property name="visible">True</property>
  54                                 <property name="xalign">0</property>
  55                                 <property name="label" translatable="yes">Save files interval in minutes</property>
  56                               </widget>
  57                               <packing>
  58                                 <property name="left_attach">1</property>
  59                                 <property name="right_attach">2</property>
  60                                 <property name="x_options">GTK_FILL</property>
  61                                 <property name="y_options"></property>
  62                               </packing>
  63                             </child>
  64                             <child>
  65                               <widget class="GtkLabel" id="label116">
  66                                 <property name="xalign">0</property>
  67                                 <property name="label" translatable="yes">Save session interval in minutes</property>
  68                               </widget>
  69                               <packing>
  70                                 <property name="left_attach">1</property>
  71                                 <property name="right_attach">2</property>
  72                                 <property name="top_attach">1</property>
  73                                 <property name="bottom_attach">2</property>
  74                                 <property name="x_options">GTK_FILL</property>
  75                                 <property name="y_options"></property>
  76                               </packing>
  77                             </child>
  78                             <child>
  79                               <widget class="GtkSpinButton" id="preferences_spin:int:10:0:autosave.timer">
  80                                 <property name="visible">True</property>
  81                                 <property name="can_focus">True</property>
  82                                 <property name="adjustment">10 1 1000 1 10 10</property>
  83                                 <property name="climb_rate">1</property>
  84                                 <property name="numeric">True</property>
  85                               </widget>
  86                               <packing>
  87                                 <property name="x_options">GTK_FILL</property>
  88                                 <property name="y_options"></property>
  89                               </packing>
  90                             </child>
  91                             <child>
  92                               <widget class="GtkSpinButton" id="preferences_spin:int:10:0:save.session.timer">
  93                                 <property name="can_focus">True</property>
  94                                 <property name="adjustment">10 0 1000 1 10 10</property>
  95                                 <property name="climb_rate">1</property>
  96                                 <property name="numeric">True</property>
  97                               </widget>
  98                               <packing>
  99                                 <property name="top_attach">1</property>
 100                                 <property name="bottom_attach">2</property>
 101                                 <property name="x_options">GTK_FILL</property>
 102                                 <property name="y_options"></property>
 103                               </packing>
 104                             </child>
 105                           </widget>
 106                           <packing>
 107                             <property name="expand">False</property>
 108                             <property name="position">1</property>
 109                           </packing>
 110                         </child>
 111                       </widget>
 112                     </child>
 113                     <child>
 114                       <widget class="GtkLabel" id="label12335">
 115                         <property name="visible">True</property>
 116                         <property name="label" translatable="yes">&lt;b&gt;Autosave&lt;/b&gt;</property>
 117                         <property name="use_markup">True</property>
 118                       </widget>
 119                       <packing>
 120                         <property name="type">label_item</property>
 121                       </packing>
 122                     </child>
 123                   </widget>
 124                   <packing>
 125                     <property name="expand">False</property>
 126                   </packing>
 127                 </child>
 128                 <child>
 129                   <placeholder/>
 130                 </child>
 131                 <child>
 132                   <placeholder/>
 133                 </child>
 134               </widget>
 135               <packing>
 136                 <property name="expand">False</property>
 137               </packing>
 138             </child>
 139             <child>
 140               <widget class="GtkVBox" id="vbox32">
 141                 <property name="visible">True</property>
 142                 <property name="spacing">5</property>
 143                 <child>
 144                   <placeholder/>
 145                 </child>
 146                 <child>
 147                   <widget class="GtkFrame" id="frame31">
 148                     <property name="visible">True</property>
 149                     <property name="label_xalign">0</property>
 150                     <property name="shadow_type">GTK_SHADOW_NONE</property>
 151                     <child>
 152                       <widget class="GtkVBox" id="vbox33">
 153                         <property name="visible">True</property>
 154                         <property name="border_width">5</property>
 155                         <property name="spacing">5</property>
 156                         <child>
 157                           <widget class="GtkRadioButton" id="radiobutton9">
 158                             <property name="visible">True</property>
 159                             <property name="can_focus">True</property>
 160                             <property name="label" translatable="yes">Sorted in opening order</property>
 161                             <property name="use_underline">True</property>
 162                             <property name="response_id">0</property>
 163                             <property name="active">True</property>
 164                             <property name="draw_indicator">True</property>
 165                           </widget>
 166                           <packing>
 167                             <property name="expand">False</property>
 168                             <property name="fill">False</property>
 169                           </packing>
 170                         </child>
 171                         <child>
 172                           <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.recent.first">
 173                             <property name="visible">True</property>
 174                             <property name="can_focus">True</property>
 175                             <property name="label" translatable="yes">Sorted by most recent use</property>
 176                             <property name="use_underline">True</property>
 177                             <property name="response_id">0</property>
 178                             <property name="draw_indicator">True</property>
 179                             <property name="group">radiobutton9</property>
 180                           </widget>
 181                           <packing>
 182                             <property name="expand">False</property>
 183                             <property name="fill">False</property>
 184                             <property name="position">1</property>
 185                           </packing>
 186                         </child>
 187                         <child>
 188                           <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.ordering">
 189                             <property name="visible">True</property>
 190                             <property name="can_focus">True</property>
 191                             <property name="label" translatable="yes">Sorted in alphabetical order</property>
 192                             <property name="use_underline">True</property>
 193                             <property name="response_id">0</property>
 194                             <property name="draw_indicator">True</property>
 195                             <property name="group">radiobutton9</property>
 196                           </widget>
 197                           <packing>
 198                             <property name="expand">False</property>
 199                             <property name="fill">False</property>
 200                             <property name="position">2</property>
 201                           </packing>
 202                         </child>
 203                         <child>
 204                           <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.hide">
 205                             <property name="visible">True</property>
 206                             <property name="can_focus">True</property>
 207                             <property name="label" translatable="yes">Do not show tabs</property>
 208                             <property name="use_underline">True</property>
 209                             <property name="response_id">0</property>
 210                             <property name="draw_indicator">True</property>
 211                             <property name="group">radiobutton9</property>
 212                           </widget>
 213                           <packing>
 214                             <property name="expand">False</property>
 215                             <property name="fill">False</property>
 216                             <property name="position">3</property>
 217                           </packing>
 218                         </child>
 219                         <child>
 220                           <widget class="GtkHBox" id="hbox27">
 221                             <property name="visible">True</property>
 222                             <property name="border_width">5</property>
 223                             <property name="spacing">5</property>
 224                             <child>
 225                               <widget class="GtkLabel" id="label117">
 226                                 <property name="visible">True</property>
 227                                 <property name="label" translatable="yes">Position:</property>
 228                               </widget>
 229                               <packing>
 230                                 <property name="expand">False</property>
 231                                 <property name="fill">False</property>
 232                               </packing>
 233                             </child>
 234                             <child>
 235                               <widget class="GtkComboBox" id="preferences_combo:text:Top,Bottom,Left,Right:0:editor.tabs.pos">
 236                                 <property name="visible">True</property>
 237                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 238                                 <property name="items" translatable="yes">Top
 239 Bottom
 240 Left
 241 Right</property>
 242                               </widget>
 243                               <packing>
 244                                 <property name="position">1</property>
 245                               </packing>
 246                             </child>
 247                           </widget>
 248                           <packing>
 249                             <property name="position">4</property>
 250                           </packing>
 251                         </child>
 252                         <child>
 253                           <placeholder/>
 254                         </child>
 255                       </widget>
 256                     </child>
 257                     <child>
 258                       <widget class="GtkLabel" id="label113">
 259                         <property name="visible">True</property>
 260                         <property name="label" translatable="yes">&lt;b&gt;Editor tabs&lt;/b&gt;</property>
 261                         <property name="use_markup">True</property>
 262                       </widget>
 263                       <packing>
 264                         <property name="type">label_item</property>
 265                       </packing>
 266                     </child>
 267                   </widget>
 268                   <packing>
 269                     <property name="expand">False</property>
 270                     <property name="position">1</property>
 271                   </packing>
 272                 </child>
 273               </widget>
 274               <packing>
 275                 <property name="position">1</property>
 276               </packing>
 277             </child>
 278           </widget>
 279         </child>
 280         <child>
 281           <widget class="GtkLabel" id="label12350">
 282             <property name="visible">True</property>
 283             <property name="label" translatable="yes">Documents</property>
 284           </widget>
 285           <packing>
 286             <property name="type">tab</property>
 287             <property name="tab_fill">False</property>
 288           </packing>
 289         </child>
 290         <child>
 291           <widget class="GtkVBox" id="page4">
 292             <property name="visible">True</property>
 293             <child>
 294               <widget class="GtkFrame" id="frame48">
 295                 <property name="visible">True</property>
 296                 <property name="border_width">5</property>
 297                 <property name="label_xalign">0</property>
 298                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 299                 <child>
 300                   <widget class="GtkTable" id="table29">
 301                     <property name="visible">True</property>
 302                     <property name="border_width">10</property>
 303                     <property name="n_rows">3</property>
 304                     <property name="n_columns">1</property>
 305                     <child>
 306                       <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:save.encoding.current.locale">
 307                         <property name="visible">True</property>
 308                         <property name="can_focus">True</property>
 309                         <property name="label" translatable="yes">Try to save in current locale's encoding</property>
 310                         <property name="use_underline">True</property>
 311                         <property name="response_id">0</property>
 312                         <property name="draw_indicator">True</property>
 313                         <property name="group">radiobutton10</property>
 314                       </widget>
 315                       <packing>
 316                         <property name="top_attach">2</property>
 317                         <property name="bottom_attach">3</property>
 318                         <property name="x_options">GTK_FILL</property>
 319                         <property name="y_options"></property>
 320                       </packing>
 321                     </child>
 322                     <child>
 323                       <widget class="GtkRadioButton" id="preferences_toggle:bool:1:0:save.encoding.original">
 324                         <property name="visible">True</property>
 325                         <property name="can_focus">True</property>
 326                         <property name="label" translatable="yes">Try to save in original encoding</property>
 327                         <property name="use_underline">True</property>
 328                         <property name="response_id">0</property>
 329                         <property name="draw_indicator">True</property>
 330                         <property name="group">radiobutton10</property>
 331                       </widget>
 332                       <packing>
 333                         <property name="top_attach">1</property>
 334                         <property name="bottom_attach">2</property>
 335                         <property name="x_options">GTK_FILL</property>
 336                         <property name="y_options"></property>
 337                       </packing>
 338                     </child>
 339                     <child>
 340                       <widget class="GtkRadioButton" id="radiobutton10">
 341                         <property name="visible">True</property>
 342                         <property name="can_focus">True</property>
 343                         <property name="label" translatable="yes">Always save in UTF-8 encoding (faster)</property>
 344                         <property name="use_underline">True</property>
 345                         <property name="response_id">0</property>
 346                         <property name="draw_indicator">True</property>
 347                       </widget>
 348                       <packing>
 349                         <property name="x_options">GTK_FILL</property>
 350                         <property name="y_options"></property>
 351                       </packing>
 352                     </child>
 353                   </widget>
 354                 </child>
 355                 <child>
 356                   <widget class="GtkLabel" id="label12338">
 357                     <property name="visible">True</property>
 358                     <property name="label" translatable="yes">&lt;b&gt;Encoding to use when saving files&lt;/b&gt;</property>
 359                     <property name="use_markup">True</property>
 360                   </widget>
 361                   <packing>
 362                     <property name="type">label_item</property>
 363                   </packing>
 364                 </child>
 365               </widget>
 366               <packing>
 367                 <property name="expand">False</property>
 368               </packing>
 369             </child>
 370             <child>
 371               <widget class="GtkFrame" id="frame49">
 372                 <property name="visible">True</property>
 373                 <property name="border_width">5</property>
 374                 <property name="label_xalign">0</property>
 375                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 376                 <child>
 377                   <widget class="GtkHBox" id="hbox1123">
 378                     <property name="visible">True</property>
 379                     <property name="border_width">10</property>
 380                     <property name="spacing">5</property>
 381                     <child>
 382                       <widget class="GtkScrolledWindow" id="scrolledwindow25">
 383                         <property name="visible">True</property>
 384                         <property name="can_focus">True</property>
 385                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 386                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 387                         <property name="shadow_type">GTK_SHADOW_IN</property>
 388                         <child>
 389                           <widget class="GtkTreeView" id="supported_treeview">
 390                             <property name="visible">True</property>
 391                             <property name="can_focus">True</property>
 392                             <property name="rules_hint">True</property>
 393                             <property name="enable_search">False</property>
 394                           </widget>
 395                         </child>
 396                       </widget>
 397                     </child>
 398                     <child>
 399                       <widget class="GtkVBox" id="vbox1122">
 400                         <property name="visible">True</property>
 401                         <property name="spacing">6</property>
 402                         <child>
 403                           <widget class="GtkButton" id="add_button">
 404                             <property name="visible">True</property>
 405                             <property name="can_focus">True</property>
 406                             <property name="label">gtk-add</property>
 407                             <property name="use_stock">True</property>
 408                             <property name="response_id">0</property>
 409                           </widget>
 410                           <packing>
 411                             <property name="expand">False</property>
 412                             <property name="fill">False</property>
 413                           </packing>
 414                         </child>
 415                         <child>
 416                           <widget class="GtkButton" id="remove_button">
 417                             <property name="visible">True</property>
 418                             <property name="can_focus">True</property>
 419                             <property name="label">gtk-remove</property>
 420                             <property name="use_stock">True</property>
 421                             <property name="response_id">0</property>
 422                           </widget>
 423                           <packing>
 424                             <property name="expand">False</property>
 425                             <property name="fill">False</property>
 426                             <property name="position">1</property>
 427                           </packing>
 428                         </child>
 429                         <child>
 430                           <widget class="GtkButton" id="up_button">
 431                             <property name="visible">True</property>
 432                             <property name="can_focus">True</property>
 433                             <property name="label">gtk-go-up</property>
 434                             <property name="use_stock">True</property>
 435                             <property name="response_id">0</property>
 436                           </widget>
 437                           <packing>
 438                             <property name="expand">False</property>
 439                             <property name="fill">False</property>
 440                             <property name="position">2</property>
 441                           </packing>
 442                         </child>
 443                         <child>
 444                           <widget class="GtkButton" id="down_button">
 445                             <property name="visible">True</property>
 446                             <property name="can_focus">True</property>
 447                             <property name="label">gtk-go-down</property>
 448                             <property name="use_stock">True</property>
 449                             <property name="response_id">0</property>
 450                           </widget>
 451                           <packing>
 452                             <property name="expand">False</property>
 453                             <property name="fill">False</property>
 454                             <property name="position">3</property>
 455                           </packing>
 456                         </child>
 457                       </widget>
 458                       <packing>
 459                         <property name="expand">False</property>
 460                         <property name="fill">False</property>
 461                         <property name="position">1</property>
 462                       </packing>
 463                     </child>
 464                     <child>
 465                       <widget class="GtkScrolledWindow" id="scrolledwindow26">
 466                         <property name="visible">True</property>
 467                         <property name="can_focus">True</property>
 468                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 469                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 470                         <property name="shadow_type">GTK_SHADOW_IN</property>
 471                         <child>
 472                           <widget class="GtkTreeView" id="stock_treeview">
 473                             <property name="visible">True</property>
 474                             <property name="can_focus">True</property>
 475                             <property name="rules_hint">True</property>
 476                             <property name="enable_search">False</property>
 477                           </widget>
 478                         </child>
 479                       </widget>
 480                       <packing>
 481                         <property name="position">2</property>
 482                       </packing>
 483                     </child>
 484                   </widget>
 485                 </child>
 486                 <child>
 487                   <widget class="GtkLabel" id="label12339">
 488                     <property name="visible">True</property>
 489                     <property name="label" translatable="yes">&lt;b&gt;Supported Encodings&lt;/b&gt;</property>
 490                     <property name="use_markup">True</property>
 491                   </widget>
 492                   <packing>
 493                     <property name="type">label_item</property>
 494                   </packing>
 495                 </child>
 496               </widget>
 497               <packing>
 498                 <property name="position">1</property>
 499               </packing>
 500             </child>
 501           </widget>
 502           <packing>
 503             <property name="position">1</property>
 504           </packing>
 505         </child>
 506         <child>
 507           <widget class="GtkLabel" id="label">
 508             <property name="visible">True</property>
 509             <property name="label" translatable="yes">Encodings</property>
 510           </widget>
 511           <packing>
 512             <property name="type">tab</property>
 513             <property name="position">1</property>
 514             <property name="tab_fill">False</property>
 515           </packing>
 516         </child>
 517       </widget>
 518     </child>
 519   </widget>
 520 </glade-interface>