plugins/sourceview/anjuta-editor-sourceview.ui

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