plugins/sourceview/anjuta-editor-sourceview.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 3.0 -->
   4   <object class="GtkAdjustment" id="adjustment1">
   5     <property name="lower">1</property>
   6     <property name="upper">100</property>
   7     <property name="value">4</property>
   8     <property name="step_increment">1</property>
   9     <property name="page_increment">8</property>
  10   </object>
  11   <object class="GtkAdjustment" id="adjustment2">
  12     <property name="upper">200</property>
  13     <property name="value">80</property>
  14     <property name="step_increment">1</property>
  15     <property name="page_increment">10</property>
  16   </object>
  17   <object class="GtkAdjustment" id="adjustment3">
  18     <property name="lower">1</property>
  19     <property name="upper">100</property>
  20     <property name="value">4</property>
  21     <property name="step_increment">1</property>
  22     <property name="page_increment">8</property>
  23   </object>
  24   <object class="GtkWindow" id="preferences_dialog">
  25     <property name="can_focus">False</property>
  26     <property name="title">window1</property>
  27     <child>
  28       <object class="GtkNotebook" id="Editor">
  29         <property name="visible">True</property>
  30         <property name="can_focus">True</property>
  31         <child>
  32           <object class="GtkTable" id="table1">
  33             <property name="visible">True</property>
  34             <property name="can_focus">False</property>
  35             <property name="n_rows">2</property>
  36             <property name="n_columns">2</property>
  37             <child>
  38               <object class="GtkFrame" id="page2">
  39                 <property name="visible">True</property>
  40                 <property name="can_focus">False</property>
  41                 <property name="border_width">5</property>
  42                 <property name="label_xalign">0</property>
  43                 <property name="label_yalign">0</property>
  44                 <property name="shadow_type">none</property>
  45                 <child>
  46                   <object class="GtkVBox" id="vbox1111">
  47                     <property name="visible">True</property>
  48                     <property name="can_focus">False</property>
  49                     <child>
  50                       <object class="GtkGrid" id="grid1">
  51                         <property name="visible">True</property>
  52                         <property name="can_focus">False</property>
  53                         <child>
  54                           <object class="GtkCheckButton" id="preferences:.editor.use-tabs">
  55                             <property name="label" translatable="yes">Use tabs for indentation</property>
  56                             <property name="use_action_appearance">False</property>
  57                             <property name="visible">True</property>
  58                             <property name="can_focus">True</property>
  59                             <property name="receives_default">False</property>
  60                             <property name="use_action_appearance">False</property>
  61                             <property name="use_underline">True</property>
  62                             <property name="xalign">0</property>
  63                             <property name="draw_indicator">True</property>
  64                           </object>
  65                           <packing>
  66                             <property name="left_attach">0</property>
  67                             <property name="top_attach">2</property>
  68                             <property name="width">1</property>
  69                             <property name="height">1</property>
  70                           </packing>
  71                         </child>
  72                         <child>
  73                           <object class="GtkLabel" id="label122">
  74                             <property name="visible">True</property>
  75                             <property name="can_focus">False</property>
  76                             <property name="xalign">0</property>
  77                             <property name="yalign">0</property>
  78                             <property name="label" translatable="yes">Tab size in spaces:</property>
  79                           </object>
  80                           <packing>
  81                             <property name="left_attach">0</property>
  82                             <property name="top_attach">1</property>
  83                             <property name="width">1</property>
  84                             <property name="height">1</property>
  85                           </packing>
  86                         </child>
  87                         <child>
  88                           <placeholder/>
  89                         </child>
  90                         <child>
  91                           <object class="GtkSpinButton" id="preferences:.editor.tab-width">
  92                             <property name="visible">True</property>
  93                             <property name="can_focus">True</property>
  94                             <property name="invisible_char">●</property>
  95                             <property name="invisible_char_set">True</property>
  96                             <property name="adjustment">adjustment1</property>
  97                             <property name="climb_rate">1</property>
  98                             <property name="numeric">True</property>
  99                           </object>
 100                           <packing>
 101                             <property name="left_attach">1</property>
 102                             <property name="top_attach">1</property>
 103                             <property name="width">1</property>
 104                             <property name="height">1</property>
 105                           </packing>
 106                         </child>
 107                         <child>
 108                           <object class="GtkSpinButton" id="preferences:.editor.indent-width">
 109                             <property name="visible">True</property>
 110                             <property name="can_focus">True</property>
 111                             <property name="invisible_char">●</property>
 112                             <property name="invisible_char_set">True</property>
 113                             <property name="adjustment">adjustment3</property>
 114                             <property name="climb_rate">1</property>
 115                             <property name="numeric">True</property>
 116                           </object>
 117                           <packing>
 118                             <property name="left_attach">1</property>
 119                             <property name="top_attach">0</property>
 120                             <property name="width">1</property>
 121                             <property name="height">1</property>
 122                           </packing>
 123                         </child>
 124                         <child>
 125                           <object class="GtkLabel" id="label1">
 126                             <property name="visible">True</property>
 127                             <property name="can_focus">False</property>
 128                             <property name="xalign">0</property>
 129                             <property name="yalign">0</property>
 130                             <property name="label" translatable="yes">Indentation size in spaces:</property>
 131                           </object>
 132                           <packing>
 133                             <property name="left_attach">0</property>
 134                             <property name="top_attach">0</property>
 135                             <property name="width">1</property>
 136                             <property name="height">1</property>
 137                           </packing>
 138                         </child>
 139                       </object>
 140                       <packing>
 141                         <property name="expand">False</property>
 142                         <property name="fill">False</property>
 143                         <property name="position">0</property>
 144                       </packing>
 145                     </child>
 146                   </object>
 147                 </child>
 148                 <child type="label">
 149                   <object class="GtkLabel" id="label12321">
 150                     <property name="visible">True</property>
 151                     <property name="can_focus">False</property>
 152                     <property name="xalign">0</property>
 153                     <property name="yalign">0</property>
 154                     <property name="label" translatable="yes">Indentation and auto-format options</property>
 155                     <attributes>
 156                       <attribute name="weight" value="bold"/>
 157                     </attributes>
 158                   </object>
 159                 </child>
 160               </object>
 161               <packing>
 162                 <property name="right_attach">2</property>
 163                 <property name="top_attach">1</property>
 164                 <property name="bottom_attach">2</property>
 165               </packing>
 166             </child>
 167             <child>
 168               <object class="GtkHBox" id="page1">
 169                 <property name="visible">True</property>
 170                 <property name="can_focus">False</property>
 171                 <property name="border_width">5</property>
 172                 <property name="spacing">5</property>
 173                 <child>
 174                   <object class="GtkVBox" id="vbox31">
 175                     <property name="visible">True</property>
 176                     <property name="can_focus">False</property>
 177                     <property name="spacing">5</property>
 178                     <child>
 179                       <object class="GtkFrame" id="frame47">
 180                         <property name="visible">True</property>
 181                         <property name="can_focus">False</property>
 182                         <property name="label_xalign">0</property>
 183                         <property name="label_yalign">0</property>
 184                         <property name="shadow_type">none</property>
 185                         <child>
 186                           <object class="GtkVBox" id="vbox1120">
 187                             <property name="visible">True</property>
 188                             <property name="can_focus">False</property>
 189                             <property name="border_width">5</property>
 190                             <property name="spacing">5</property>
 191                             <child>
 192                               <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:syntax-highlight">
 193                                 <property name="label" translatable="yes">Highlight syntax</property>
 194                                 <property name="use_action_appearance">False</property>
 195                                 <property name="visible">True</property>
 196                                 <property name="can_focus">True</property>
 197                                 <property name="receives_default">False</property>
 198                                 <property name="use_action_appearance">False</property>
 199                                 <property name="use_underline">True</property>
 200                                 <property name="draw_indicator">True</property>
 201                               </object>
 202                               <packing>
 203                                 <property name="expand">False</property>
 204                                 <property name="fill">False</property>
 205                                 <property name="position">0</property>
 206                               </packing>
 207                             </child>
 208                             <child>
 209                               <object class="GtkCheckButton" id="preferences_toggle:bool:0:0:brackets-highlight">
 210                                 <property name="label" translatable="yes">Highlight matching brackets</property>
 211                                 <property name="use_action_appearance">False</property>
 212                                 <property name="visible">True</property>
 213                                 <property name="can_focus">True</property>
 214                                 <property name="receives_default">False</property>
 215                                 <property name="use_action_appearance">False</property>
 216                                 <property name="use_underline">True</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">1</property>
 223                               </packing>
 224                             </child>
 225                             <child>
 226                               <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:backup">
 227                                 <property name="label" translatable="yes">Create backup files</property>
 228                                 <property name="use_action_appearance">False</property>
 229                                 <property name="visible">True</property>
 230                                 <property name="can_focus">True</property>
 231                                 <property name="receives_default">False</property>
 232                                 <property name="use_action_appearance">False</property>
 233                                 <property name="use_underline">True</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">2</property>
 240                               </packing>
 241                             </child>
 242                             <child>
 243                               <object class="GtkCheckButton" id="preferences_toggle:bool:0:0:autocomplete">
 244                                 <property name="label" translatable="yes">Enable autocompletion for document words</property>
 245                                 <property name="use_action_appearance">False</property>
 246                                 <property name="visible">True</property>
 247                                 <property name="can_focus">True</property>
 248                                 <property name="receives_default">False</property>
 249                                 <property name="use_action_appearance">False</property>
 250                                 <property name="use_underline">True</property>
 251                                 <property name="draw_indicator">True</property>
 252                               </object>
 253                               <packing>
 254                                 <property name="expand">False</property>
 255                                 <property name="fill">False</property>
 256                                 <property name="position">3</property>
 257                               </packing>
 258                             </child>
 259                             <child>
 260                               <placeholder/>
 261                             </child>
 262                           </object>
 263                         </child>
 264                         <child type="label">
 265                           <object class="GtkLabel" id="label12337">
 266                             <property name="visible">True</property>
 267                             <property name="can_focus">False</property>
 268                             <property name="xalign">0</property>
 269                             <property name="yalign">0</property>
 270                             <property name="label" translatable="yes">Options</property>
 271                             <attributes>
 272                               <attribute name="weight" value="bold"/>
 273                             </attributes>
 274                           </object>
 275                         </child>
 276                       </object>
 277                       <packing>
 278                         <property name="expand">False</property>
 279                         <property name="fill">True</property>
 280                         <property name="position">0</property>
 281                       </packing>
 282                     </child>
 283                   </object>
 284                   <packing>
 285                     <property name="expand">False</property>
 286                     <property name="fill">True</property>
 287                     <property name="position">0</property>
 288                   </packing>
 289                 </child>
 290                 <child>
 291                   <object class="GtkVBox" id="vbox32">
 292                     <property name="visible">True</property>
 293                     <property name="can_focus">False</property>
 294                     <property name="spacing">5</property>
 295                     <child>
 296                       <object class="GtkFrame" id="frame2">
 297                         <property name="visible">True</property>
 298                         <property name="can_focus">False</property>
 299                         <property name="label_xalign">0</property>
 300                         <property name="label_yalign">0</property>
 301                         <property name="shadow_type">none</property>
 302                         <child>
 303                           <object class="GtkVBox" id="vbox2">
 304                             <property name="visible">True</property>
 305                             <property name="can_focus">False</property>
 306                             <property name="border_width">5</property>
 307                             <property name="spacing">5</property>
 308                             <child>
 309                               <object class="GtkCheckButton" id="preferences_toggle:bool:0:0:currentline-highlight">
 310                                 <property name="label" translatable="yes">Highlight current line</property>
 311                                 <property name="use_action_appearance">False</property>
 312                                 <property name="visible">True</property>
 313                                 <property name="can_focus">True</property>
 314                                 <property name="receives_default">False</property>
 315                                 <property name="use_action_appearance">False</property>
 316                                 <property name="use_underline">True</property>
 317                                 <property name="draw_indicator">True</property>
 318                               </object>
 319                               <packing>
 320                                 <property name="expand">False</property>
 321                                 <property name="fill">False</property>
 322                                 <property name="position">0</property>
 323                               </packing>
 324                             </child>
 325                             <child>
 326                               <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:margin-linenumber-visible">
 327                                 <property name="label" translatable="yes">Show line numbers</property>
 328                                 <property name="use_action_appearance">False</property>
 329                                 <property name="visible">True</property>
 330                                 <property name="can_focus">True</property>
 331                                 <property name="receives_default">False</property>
 332                                 <property name="use_action_appearance">False</property>
 333                                 <property name="use_underline">True</property>
 334                                 <property name="draw_indicator">True</property>
 335                               </object>
 336                               <packing>
 337                                 <property name="expand">False</property>
 338                                 <property name="fill">False</property>
 339                                 <property name="position">1</property>
 340                               </packing>
 341                             </child>
 342                             <child>
 343                               <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:margin-marker-visible">
 344                                 <property name="label" translatable="yes">Show marks</property>
 345                                 <property name="use_action_appearance">False</property>
 346                                 <property name="visible">True</property>
 347                                 <property name="can_focus">True</property>
 348                                 <property name="receives_default">False</property>
 349                                 <property name="use_action_appearance">False</property>
 350                                 <property name="use_underline">True</property>
 351                                 <property name="draw_indicator">True</property>
 352                               </object>
 353                               <packing>
 354                                 <property name="expand">False</property>
 355                                 <property name="fill">False</property>
 356                                 <property name="position">2</property>
 357                               </packing>
 358                             </child>
 359                             <child>
 360                               <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:rightmargin-visible">
 361                                 <property name="label" translatable="yes">Show right margin</property>
 362                                 <property name="use_action_appearance">False</property>
 363                                 <property name="visible">True</property>
 364                                 <property name="can_focus">True</property>
 365                                 <property name="receives_default">False</property>
 366                                 <property name="use_action_appearance">False</property>
 367                                 <property name="use_underline">True</property>
 368                                 <property name="draw_indicator">True</property>
 369                               </object>
 370                               <packing>
 371                                 <property name="expand">False</property>
 372                                 <property name="fill">False</property>
 373                                 <property name="position">3</property>
 374                               </packing>
 375                             </child>
 376                             <child>
 377                               <object class="GtkTable" id="table4">
 378                                 <property name="visible">True</property>
 379                                 <property name="can_focus">False</property>
 380                                 <property name="n_rows">2</property>
 381                                 <property name="n_columns">2</property>
 382                                 <property name="column_spacing">5</property>
 383                                 <property name="row_spacing">5</property>
 384                                 <child>
 385                                   <placeholder/>
 386                                 </child>
 387                                 <child>
 388                                   <placeholder/>
 389                                 </child>
 390                                 <child>
 391                                   <object class="GtkLabel" id="label19">
 392                                     <property name="visible">True</property>
 393                                     <property name="can_focus">False</property>
 394                                     <property name="xalign">0</property>
 395                                     <property name="label" translatable="yes">Right margin position in characters</property>
 396                                   </object>
 397                                   <packing>
 398                                     <property name="x_options">GTK_FILL</property>
 399                                     <property name="y_options"></property>
 400                                   </packing>
 401                                 </child>
 402                                 <child>
 403                                   <object class="GtkSpinButton" id="preferences_spin:int:80:0:rightmargin-position">
 404                                     <property name="visible">True</property>
 405                                     <property name="can_focus">True</property>
 406                                     <property name="invisible_char">●</property>
 407                                     <property name="invisible_char_set">True</property>
 408                                     <property name="adjustment">adjustment2</property>
 409                                     <property name="climb_rate">1</property>
 410                                     <property name="numeric">True</property>
 411                                   </object>
 412                                   <packing>
 413                                     <property name="left_attach">1</property>
 414                                     <property name="right_attach">2</property>
 415                                     <property name="x_options">GTK_FILL</property>
 416                                     <property name="y_options"></property>
 417                                   </packing>
 418                                 </child>
 419                               </object>
 420                               <packing>
 421                                 <property name="expand">True</property>
 422                                 <property name="fill">True</property>
 423                                 <property name="position">4</property>
 424                               </packing>
 425                             </child>
 426                           </object>
 427                         </child>
 428                         <child type="label">
 429                           <object class="GtkLabel" id="label2">
 430                             <property name="visible">True</property>
 431                             <property name="can_focus">False</property>
 432                             <property name="xalign">0</property>
 433                             <property name="yalign">0</property>
 434                             <property name="label" translatable="yes">View</property>
 435                             <attributes>
 436                               <attribute name="weight" value="bold"/>
 437                             </attributes>
 438                           </object>
 439                         </child>
 440                       </object>
 441                       <packing>
 442                         <property name="expand">False</property>
 443                         <property name="fill">True</property>
 444                         <property name="position">0</property>
 445                       </packing>
 446                     </child>
 447                   </object>
 448                   <packing>
 449                     <property name="expand">True</property>
 450                     <property name="fill">True</property>
 451                     <property name="position">1</property>
 452                   </packing>
 453                 </child>
 454               </object>
 455               <packing>
 456                 <property name="right_attach">2</property>
 457               </packing>
 458             </child>
 459           </object>
 460         </child>
 461         <child type="tab">
 462           <object class="GtkLabel" id="label12350">
 463             <property name="visible">True</property>
 464             <property name="can_focus">False</property>
 465             <property name="xalign">0</property>
 466             <property name="yalign">0</property>
 467             <property name="label" translatable="yes">Editor</property>
 468           </object>
 469           <packing>
 470             <property name="tab_fill">False</property>
 471           </packing>
 472         </child>
 473         <child>
 474           <object class="GtkTable" id="table18">
 475             <property name="visible">True</property>
 476             <property name="can_focus">False</property>
 477             <property name="n_rows">3</property>
 478             <property name="n_columns">2</property>
 479             <child>
 480               <object class="GtkFrame" id="frame49">
 481                 <property name="visible">True</property>
 482                 <property name="can_focus">False</property>
 483                 <property name="label_xalign">0</property>
 484                 <property name="label_yalign">0</property>
 485                 <property name="shadow_type">none</property>
 486                 <child>
 487                   <object class="GtkAlignment" id="alignment2">
 488                     <property name="visible">True</property>
 489                     <property name="can_focus">False</property>
 490                     <property name="xalign">0</property>
 491                     <property name="yalign">0</property>
 492                     <property name="left_padding">12</property>
 493                     <child>
 494                       <object class="GtkTable" id="table20">
 495                         <property name="visible">True</property>
 496                         <property name="can_focus">False</property>
 497                         <property name="n_rows">2</property>
 498                         <property name="n_columns">2</property>
 499                         <property name="column_spacing">5</property>
 500                         <property name="row_spacing">5</property>
 501                         <child>
 502                           <object class="GtkFontButton" id="preferences_font:font:Monospace 12:0:font">
 503                             <property name="use_action_appearance">False</property>
 504                             <property name="visible">True</property>
 505                             <property name="can_focus">True</property>
 506                             <property name="receives_default">False</property>
 507                             <property name="use_action_appearance">False</property>
 508                           </object>
 509                           <packing>
 510                             <property name="right_attach">2</property>
 511                             <property name="top_attach">1</property>
 512                             <property name="bottom_attach">2</property>
 513                             <property name="y_options"></property>
 514                           </packing>
 515                         </child>
 516                         <child>
 517                           <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:font-use-theme">
 518                             <property name="label" translatable="yes">Use theme font</property>
 519                             <property name="use_action_appearance">False</property>
 520                             <property name="visible">True</property>
 521                             <property name="can_focus">True</property>
 522                             <property name="receives_default">False</property>
 523                             <property name="use_action_appearance">False</property>
 524                             <property name="use_underline">True</property>
 525                             <property name="draw_indicator">True</property>
 526                           </object>
 527                           <packing>
 528                             <property name="right_attach">2</property>
 529                             <property name="x_options">GTK_FILL</property>
 530                             <property name="y_options"></property>
 531                           </packing>
 532                         </child>
 533                       </object>
 534                     </child>
 535                   </object>
 536                 </child>
 537                 <child type="label">
 538                   <object class="GtkLabel" id="label">
 539                     <property name="visible">True</property>
 540                     <property name="can_focus">False</property>
 541                     <property name="xalign">0</property>
 542                     <property name="yalign">0</property>
 543                     <property name="label" translatable="yes">Font:</property>
 544                     <attributes>
 545                       <attribute name="weight" value="bold"/>
 546                     </attributes>
 547                   </object>
 548                 </child>
 549               </object>
 550               <packing>
 551                 <property name="right_attach">2</property>
 552                 <property name="x_padding">5</property>
 553                 <property name="y_padding">5</property>
 554               </packing>
 555             </child>
 556             <child>
 557               <object class="GtkFrame" id="frame48">
 558                 <property name="visible">True</property>
 559                 <property name="can_focus">False</property>
 560                 <property name="label_xalign">0</property>
 561                 <property name="label_yalign">0</property>
 562                 <property name="shadow_type">none</property>
 563                 <child>
 564                   <object class="GtkAlignment" id="alignment1">
 565                     <property name="visible">True</property>
 566                     <property name="can_focus">False</property>
 567                     <property name="xalign">0</property>
 568                     <property name="yalign">0</property>
 569                     <property name="left_padding">12</property>
 570                     <child>
 571                       <object class="GtkVBox" id="vbox1">
 572                         <property name="visible">True</property>
 573                         <property name="can_focus">False</property>
 574                         <property name="border_width">5</property>
 575                         <child>
 576                           <object class="GtkComboBox" id="combo_styles">
 577                             <property name="visible">True</property>
 578                             <property name="can_focus">False</property>
 579                           </object>
 580                           <packing>
 581                             <property name="expand">False</property>
 582                             <property name="fill">False</property>
 583                             <property name="position">0</property>
 584                           </packing>
 585                         </child>
 586                       </object>
 587                     </child>
 588                   </object>
 589                 </child>
 590                 <child type="label">
 591                   <object class="GtkLabel" id="label12355">
 592                     <property name="visible">True</property>
 593                     <property name="can_focus">False</property>
 594                     <property name="xalign">0</property>
 595                     <property name="yalign">0</property>
 596                     <property name="label" translatable="yes">Color scheme:</property>
 597                     <attributes>
 598                       <attribute name="weight" value="bold"/>
 599                     </attributes>
 600                   </object>
 601                 </child>
 602               </object>
 603               <packing>
 604                 <property name="right_attach">2</property>
 605                 <property name="top_attach">1</property>
 606                 <property name="bottom_attach">3</property>
 607                 <property name="x_padding">5</property>
 608                 <property name="y_padding">5</property>
 609               </packing>
 610             </child>
 611           </object>
 612           <packing>
 613             <property name="position">1</property>
 614           </packing>
 615         </child>
 616         <child type="tab">
 617           <object class="GtkLabel" id="label12360">
 618             <property name="visible">True</property>
 619             <property name="can_focus">False</property>
 620             <property name="xalign">0</property>
 621             <property name="yalign">0</property>
 622             <property name="label" translatable="yes">Font</property>
 623           </object>
 624           <packing>
 625             <property name="position">1</property>
 626             <property name="tab_fill">False</property>
 627           </packing>
 628         </child>
 629       </object>
 630     </child>
 631   </object>
 632 </interface>