plugins/sourceview/anjuta-editor-sourceview.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">window1</property>
   7     <child>
   8       <widget class="GtkNotebook" id="Editor">
   9         <property name="visible">True</property>
  10         <property name="can_focus">True</property>
  11         <child>
  12           <widget class="GtkTable" id="table1">
  13             <property name="visible">True</property>
  14             <property name="n_rows">2</property>
  15             <property name="n_columns">2</property>
  16             <child>
  17               <widget class="GtkHBox" id="page1">
  18                 <property name="visible">True</property>
  19                 <property name="border_width">5</property>
  20                 <property name="spacing">5</property>
  21                 <child>
  22                   <widget class="GtkVBox" id="vbox31">
  23                     <property name="visible">True</property>
  24                     <property name="spacing">5</property>
  25                     <child>
  26                       <widget class="GtkFrame" id="frame47">
  27                         <property name="visible">True</property>
  28                         <property name="label_xalign">0</property>
  29                         <property name="label_yalign">0</property>
  30                         <property name="shadow_type">GTK_SHADOW_NONE</property>
  31                         <child>
  32                           <widget class="GtkVBox" id="vbox1120">
  33                             <property name="visible">True</property>
  34                             <property name="border_width">5</property>
  35                             <property name="spacing">5</property>
  36                             <child>
  37                               <widget class="GtkCheckButton" id="preferences_toggle:bool:0:1:sourceview.syntax.highlight">
  38                                 <property name="visible">True</property>
  39                                 <property name="can_focus">True</property>
  40                                 <property name="label" translatable="yes">Highlight syntax</property>
  41                                 <property name="use_underline">True</property>
  42                                 <property name="response_id">0</property>
  43                                 <property name="draw_indicator">True</property>
  44                               </widget>
  45                               <packing>
  46                                 <property name="expand">False</property>
  47                                 <property name="fill">False</property>
  48                               </packing>
  49                             </child>
  50                             <child>
  51                               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.brackets.highlight">
  52                                 <property name="visible">True</property>
  53                                 <property name="can_focus">True</property>
  54                                 <property name="label" translatable="yes">Highlight matching brackets</property>
  55                                 <property name="use_underline">True</property>
  56                                 <property name="response_id">0</property>
  57                                 <property name="draw_indicator">True</property>
  58                               </widget>
  59                               <packing>
  60                                 <property name="expand">False</property>
  61                                 <property name="fill">False</property>
  62                                 <property name="position">1</property>
  63                               </packing>
  64                             </child>
  65                             <child>
  66                               <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:sourceview.enable.vfs">
  67                                 <property name="visible">True</property>
  68                                 <property name="can_focus">True</property>
  69                                 <property name="label" translatable="yes">Enable VFS file monitoring</property>
  70                                 <property name="use_underline">True</property>
  71                                 <property name="response_id">0</property>
  72                                 <property name="draw_indicator">True</property>
  73                               </widget>
  74                               <packing>
  75                                 <property name="expand">False</property>
  76                                 <property name="fill">False</property>
  77                                 <property name="position">2</property>
  78                               </packing>
  79                             </child>
  80                             <child>
  81                               <placeholder/>
  82                             </child>
  83                             <child>
  84                               <placeholder/>
  85                             </child>
  86                           </widget>
  87                         </child>
  88                         <child>
  89                           <widget class="GtkLabel" id="label12337">
  90                             <property name="visible">True</property>
  91                             <property name="xalign">0</property>
  92                             <property name="yalign">0</property>
  93                             <property name="label" translatable="yes">&lt;b&gt;Options&lt;/b&gt;</property>
  94                             <property name="use_markup">True</property>
  95                           </widget>
  96                           <packing>
  97                             <property name="type">label_item</property>
  98                           </packing>
  99                         </child>
 100                       </widget>
 101                       <packing>
 102                         <property name="expand">False</property>
 103                       </packing>
 104                     </child>
 105                   </widget>
 106                   <packing>
 107                     <property name="expand">False</property>
 108                   </packing>
 109                 </child>
 110                 <child>
 111                   <widget class="GtkVBox" id="vbox32">
 112                     <property name="visible">True</property>
 113                     <property name="spacing">5</property>
 114                     <child>
 115                       <widget class="GtkFrame" id="frame2">
 116                         <property name="visible">True</property>
 117                         <property name="label_xalign">0</property>
 118                         <property name="label_yalign">0</property>
 119                         <property name="shadow_type">GTK_SHADOW_NONE</property>
 120                         <child>
 121                           <widget class="GtkVBox" id="vbox2">
 122                             <property name="visible">True</property>
 123                             <property name="border_width">5</property>
 124                             <property name="spacing">5</property>
 125                             <child>
 126                               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.currentline.highlight">
 127                                 <property name="visible">True</property>
 128                                 <property name="can_focus">True</property>
 129                                 <property name="label" translatable="yes">Highlight current line</property>
 130                                 <property name="use_underline">True</property>
 131                                 <property name="response_id">0</property>
 132                                 <property name="draw_indicator">True</property>
 133                               </widget>
 134                               <packing>
 135                                 <property name="expand">False</property>
 136                                 <property name="fill">False</property>
 137                               </packing>
 138                             </child>
 139                             <child>
 140                               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.linenumbers.visible">
 141                                 <property name="visible">True</property>
 142                                 <property name="can_focus">True</property>
 143                                 <property name="label" translatable="yes">Show line numbers</property>
 144                                 <property name="use_underline">True</property>
 145                                 <property name="response_id">0</property>
 146                                 <property name="draw_indicator">True</property>
 147                               </widget>
 148                               <packing>
 149                                 <property name="expand">False</property>
 150                                 <property name="fill">False</property>
 151                                 <property name="position">1</property>
 152                               </packing>
 153                             </child>
 154                             <child>
 155                               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.marks.visible">
 156                                 <property name="visible">True</property>
 157                                 <property name="can_focus">True</property>
 158                                 <property name="label" translatable="yes">Show marks</property>
 159                                 <property name="use_underline">True</property>
 160                                 <property name="response_id">0</property>
 161                                 <property name="draw_indicator">True</property>
 162                               </widget>
 163                               <packing>
 164                                 <property name="expand">False</property>
 165                                 <property name="fill">False</property>
 166                                 <property name="position">2</property>
 167                               </packing>
 168                             </child>
 169                             <child>
 170                               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.rightmargin.visible">
 171                                 <property name="visible">True</property>
 172                                 <property name="can_focus">True</property>
 173                                 <property name="label" translatable="yes">Show right margin</property>
 174                                 <property name="use_underline">True</property>
 175                                 <property name="response_id">0</property>
 176                                 <property name="draw_indicator">True</property>
 177                               </widget>
 178                               <packing>
 179                                 <property name="expand">False</property>
 180                                 <property name="fill">False</property>
 181                                 <property name="position">3</property>
 182                               </packing>
 183                             </child>
 184                             <child>
 185                               <widget class="GtkTable" id="table4">
 186                                 <property name="visible">True</property>
 187                                 <property name="n_rows">2</property>
 188                                 <property name="n_columns">2</property>
 189                                 <property name="column_spacing">5</property>
 190                                 <property name="row_spacing">5</property>
 191                                 <child>
 192                                   <placeholder/>
 193                                 </child>
 194                                 <child>
 195                                   <placeholder/>
 196                                 </child>
 197                                 <child>
 198                                   <widget class="GtkSpinButton" id="preferences_spin:int:80:0:sourceview.rightmargin.position">
 199                                     <property name="visible">True</property>
 200                                     <property name="can_focus">True</property>
 201                                     <property name="adjustment">80 0 200 1 10 10</property>
 202                                     <property name="climb_rate">1</property>
 203                                     <property name="numeric">True</property>
 204                                   </widget>
 205                                   <packing>
 206                                     <property name="x_options">GTK_FILL</property>
 207                                     <property name="y_options"></property>
 208                                   </packing>
 209                                 </child>
 210                                 <child>
 211                                   <widget class="GtkLabel" id="label19">
 212                                     <property name="visible">True</property>
 213                                     <property name="xalign">0</property>
 214                                     <property name="label" translatable="yes">Right margin position in characters</property>
 215                                   </widget>
 216                                   <packing>
 217                                     <property name="left_attach">1</property>
 218                                     <property name="right_attach">2</property>
 219                                     <property name="x_options">GTK_FILL</property>
 220                                     <property name="y_options"></property>
 221                                   </packing>
 222                                 </child>
 223                               </widget>
 224                               <packing>
 225                                 <property name="position">4</property>
 226                               </packing>
 227                             </child>
 228                           </widget>
 229                         </child>
 230                         <child>
 231                           <widget class="GtkLabel" id="label2">
 232                             <property name="visible">True</property>
 233                             <property name="xalign">0</property>
 234                             <property name="yalign">0</property>
 235                             <property name="label" translatable="yes">&lt;b&gt;View&lt;/b&gt;</property>
 236                             <property name="use_markup">True</property>
 237                           </widget>
 238                           <packing>
 239                             <property name="type">label_item</property>
 240                           </packing>
 241                         </child>
 242                       </widget>
 243                       <packing>
 244                         <property name="expand">False</property>
 245                       </packing>
 246                     </child>
 247                   </widget>
 248                   <packing>
 249                     <property name="position">1</property>
 250                   </packing>
 251                 </child>
 252               </widget>
 253               <packing>
 254                 <property name="right_attach">2</property>
 255               </packing>
 256             </child>
 257             <child>
 258               <widget class="GtkFrame" id="page2">
 259                 <property name="visible">True</property>
 260                 <property name="border_width">5</property>
 261                 <property name="label_xalign">0</property>
 262                 <property name="label_yalign">0</property>
 263                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 264                 <child>
 265                   <widget class="GtkVBox" id="vbox1111">
 266                     <property name="visible">True</property>
 267                     <child>
 268                       <widget class="GtkTable" id="table15">
 269                         <property name="visible">True</property>
 270                         <property name="border_width">10</property>
 271                         <property name="n_rows">5</property>
 272                         <property name="n_columns">4</property>
 273                         <property name="column_spacing">5</property>
 274                         <property name="row_spacing">5</property>
 275                         <child>
 276                           <placeholder/>
 277                         </child>
 278                         <child>
 279                           <placeholder/>
 280                         </child>
 281                         <child>
 282                           <placeholder/>
 283                         </child>
 284                         <child>
 285                           <placeholder/>
 286                         </child>
 287                         <child>
 288                           <placeholder/>
 289                         </child>
 290                         <child>
 291                           <placeholder/>
 292                         </child>
 293                         <child>
 294                           <placeholder/>
 295                         </child>
 296                         <child>
 297                           <placeholder/>
 298                         </child>
 299                         <child>
 300                           <placeholder/>
 301                         </child>
 302                         <child>
 303                           <widget class="GtkLabel" id="label122">
 304                             <property name="visible">True</property>
 305                             <property name="xalign">0</property>
 306                             <property name="yalign">0</property>
 307                             <property name="label" translatable="yes">Tab size in spaces:</property>
 308                           </widget>
 309                           <packing>
 310                             <property name="right_attach">3</property>
 311                             <property name="y_options">GTK_EXPAND</property>
 312                           </packing>
 313                         </child>
 314                         <child>
 315                           <widget class="GtkLabel" id="label123">
 316                             <property name="visible">True</property>
 317                             <property name="xalign">0</property>
 318                             <property name="yalign">0</property>
 319                             <property name="label" translatable="yes">Indentation size in spaces:</property>
 320                           </widget>
 321                           <packing>
 322                             <property name="right_attach">3</property>
 323                             <property name="top_attach">1</property>
 324                             <property name="bottom_attach">2</property>
 325                             <property name="y_options">GTK_EXPAND</property>
 326                           </packing>
 327                         </child>
 328                         <child>
 329                           <widget class="GtkSpinButton" id="preferences_spin:int:4:1:tabsize">
 330                             <property name="visible">True</property>
 331                             <property name="can_focus">True</property>
 332                             <property name="adjustment">4 1 100 1 10 10</property>
 333                             <property name="climb_rate">1</property>
 334                             <property name="numeric">True</property>
 335                           </widget>
 336                           <packing>
 337                             <property name="left_attach">3</property>
 338                             <property name="right_attach">4</property>
 339                             <property name="x_options"></property>
 340                             <property name="y_options"></property>
 341                           </packing>
 342                         </child>
 343                         <child>
 344                           <widget class="GtkSpinButton" id="preferences_spin:int:4:1:indent.size">
 345                             <property name="visible">True</property>
 346                             <property name="can_focus">True</property>
 347                             <property name="adjustment">4 1 100 1 10 10</property>
 348                             <property name="climb_rate">1</property>
 349                             <property name="numeric">True</property>
 350                           </widget>
 351                           <packing>
 352                             <property name="left_attach">3</property>
 353                             <property name="right_attach">4</property>
 354                             <property name="top_attach">1</property>
 355                             <property name="bottom_attach">2</property>
 356                             <property name="x_options"></property>
 357                             <property name="y_options"></property>
 358                           </packing>
 359                         </child>
 360                         <child>
 361                           <widget class="GtkCheckButton" id="preferences_toggle:bool:1:1:use.tabs">
 362                             <property name="visible">True</property>
 363                             <property name="can_focus">True</property>
 364                             <property name="label" translatable="yes">Use tabs for indentation</property>
 365                             <property name="use_underline">True</property>
 366                             <property name="response_id">0</property>
 367                             <property name="draw_indicator">True</property>
 368                           </widget>
 369                           <packing>
 370                             <property name="right_attach">3</property>
 371                             <property name="top_attach">2</property>
 372                             <property name="bottom_attach">3</property>
 373                           </packing>
 374                         </child>
 375                       </widget>
 376                       <packing>
 377                         <property name="expand">False</property>
 378                         <property name="fill">False</property>
 379                       </packing>
 380                     </child>
 381                   </widget>
 382                 </child>
 383                 <child>
 384                   <widget class="GtkLabel" id="label12321">
 385                     <property name="visible">True</property>
 386                     <property name="xalign">0</property>
 387                     <property name="yalign">0</property>
 388                     <property name="label" translatable="yes">&lt;b&gt;Indentation and auto-format options&lt;/b&gt;</property>
 389                     <property name="use_markup">True</property>
 390                   </widget>
 391                   <packing>
 392                     <property name="type">label_item</property>
 393                   </packing>
 394                 </child>
 395               </widget>
 396               <packing>
 397                 <property name="right_attach">2</property>
 398                 <property name="top_attach">1</property>
 399                 <property name="bottom_attach">2</property>
 400               </packing>
 401             </child>
 402           </widget>
 403         </child>
 404         <child>
 405           <widget class="GtkLabel" id="label12350">
 406             <property name="visible">True</property>
 407             <property name="xalign">0</property>
 408             <property name="yalign">0</property>
 409             <property name="label" translatable="yes">Editor</property>
 410           </widget>
 411           <packing>
 412             <property name="type">tab</property>
 413             <property name="tab_fill">False</property>
 414           </packing>
 415         </child>
 416         <child>
 417           <widget class="GtkTable" id="table18">
 418             <property name="visible">True</property>
 419             <property name="n_rows">3</property>
 420             <property name="n_columns">2</property>
 421             <child>
 422               <widget class="GtkFrame" id="frame48">
 423                 <property name="visible">True</property>
 424                 <property name="label_xalign">0</property>
 425                 <property name="label_yalign">0</property>
 426                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 427                 <child>
 428                   <widget class="GtkAlignment" id="alignment1">
 429                     <property name="visible">True</property>
 430                     <property name="xalign">0</property>
 431                     <property name="yalign">0</property>
 432                     <property name="left_padding">12</property>
 433                     <child>
 434                       <widget class="GtkTable" id="table19">
 435                         <property name="visible">True</property>
 436                         <property name="n_rows">5</property>
 437                         <property name="n_columns">2</property>
 438                         <child>
 439                           <widget class="GtkLabel" id="label12357">
 440                             <property name="visible">True</property>
 441                             <property name="xalign">0</property>
 442                             <property name="yalign">0</property>
 443                             <property name="label" translatable="yes">Background:</property>
 444                           </widget>
 445                           <packing>
 446                             <property name="top_attach">2</property>
 447                             <property name="bottom_attach">3</property>
 448                             <property name="x_options">GTK_FILL</property>
 449                             <property name="y_options"></property>
 450                             <property name="x_padding">5</property>
 451                             <property name="y_padding">5</property>
 452                           </packing>
 453                         </child>
 454                         <child>
 455                           <widget class="GtkLabel" id="label12356">
 456                             <property name="visible">True</property>
 457                             <property name="xalign">0</property>
 458                             <property name="yalign">0</property>
 459                             <property name="label" translatable="yes">Text: </property>
 460                           </widget>
 461                           <packing>
 462                             <property name="top_attach">1</property>
 463                             <property name="bottom_attach">2</property>
 464                             <property name="x_options">GTK_FILL</property>
 465                             <property name="y_options"></property>
 466                             <property name="x_padding">5</property>
 467                             <property name="y_padding">5</property>
 468                           </packing>
 469                         </child>
 470                         <child>
 471                           <widget class="GtkLabel" id="label12358">
 472                             <property name="visible">True</property>
 473                             <property name="xalign">0</property>
 474                             <property name="yalign">0</property>
 475                             <property name="label" translatable="yes">Selected text: </property>
 476                           </widget>
 477                           <packing>
 478                             <property name="top_attach">3</property>
 479                             <property name="bottom_attach">4</property>
 480                             <property name="x_options">GTK_FILL</property>
 481                             <property name="y_options"></property>
 482                             <property name="x_padding">5</property>
 483                             <property name="y_padding">5</property>
 484                           </packing>
 485                         </child>
 486                         <child>
 487                           <widget class="GtkLabel" id="label12359">
 488                             <property name="visible">True</property>
 489                             <property name="xalign">0</property>
 490                             <property name="yalign">0</property>
 491                             <property name="label" translatable="yes">Selection:</property>
 492                           </widget>
 493                           <packing>
 494                             <property name="top_attach">4</property>
 495                             <property name="bottom_attach">5</property>
 496                             <property name="x_options">GTK_FILL</property>
 497                             <property name="y_options"></property>
 498                             <property name="x_padding">5</property>
 499                             <property name="y_padding">5</property>
 500                           </packing>
 501                         </child>
 502                         <child>
 503                           <widget class="GtkColorButton" id="preferences_color:color:#000000:0:sourceview.color.background">
 504                             <property name="visible">True</property>
 505                             <property name="can_focus">True</property>
 506                             <property name="response_id">0</property>
 507                           </widget>
 508                           <packing>
 509                             <property name="left_attach">1</property>
 510                             <property name="right_attach">2</property>
 511                             <property name="top_attach">2</property>
 512                             <property name="bottom_attach">3</property>
 513                             <property name="x_options"></property>
 514                             <property name="y_options"></property>
 515                           </packing>
 516                         </child>
 517                         <child>
 518                           <widget class="GtkColorButton" id="preferences_color:color:#000000:0:sourceview.color.selected_text">
 519                             <property name="visible">True</property>
 520                             <property name="can_focus">True</property>
 521                             <property name="response_id">0</property>
 522                           </widget>
 523                           <packing>
 524                             <property name="left_attach">1</property>
 525                             <property name="right_attach">2</property>
 526                             <property name="top_attach">3</property>
 527                             <property name="bottom_attach">4</property>
 528                             <property name="x_options"></property>
 529                             <property name="y_options"></property>
 530                           </packing>
 531                         </child>
 532                         <child>
 533                           <widget class="GtkColorButton" id="preferences_color:color:#0000FF:0:sourceview.color.selection">
 534                             <property name="visible">True</property>
 535                             <property name="can_focus">True</property>
 536                             <property name="response_id">0</property>
 537                           </widget>
 538                           <packing>
 539                             <property name="left_attach">1</property>
 540                             <property name="right_attach">2</property>
 541                             <property name="top_attach">4</property>
 542                             <property name="bottom_attach">5</property>
 543                             <property name="x_options"></property>
 544                             <property name="y_options"></property>
 545                           </packing>
 546                         </child>
 547                         <child>
 548                           <widget class="GtkColorButton" id="preferences_color:color:#FFFFFF:0:sourceview.color.text">
 549                             <property name="visible">True</property>
 550                             <property name="can_focus">True</property>
 551                             <property name="response_id">0</property>
 552                           </widget>
 553                           <packing>
 554                             <property name="left_attach">1</property>
 555                             <property name="right_attach">2</property>
 556                             <property name="top_attach">1</property>
 557                             <property name="bottom_attach">2</property>
 558                             <property name="x_options"></property>
 559                             <property name="y_options"></property>
 560                           </packing>
 561                         </child>
 562                         <child>
 563                           <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.color.use_theme">
 564                             <property name="visible">True</property>
 565                             <property name="can_focus">True</property>
 566                             <property name="label" translatable="yes">Use theme colors</property>
 567                             <property name="use_underline">True</property>
 568                             <property name="response_id">0</property>
 569                             <property name="draw_indicator">True</property>
 570                           </widget>
 571                           <packing>
 572                             <property name="right_attach">2</property>
 573                             <property name="y_options">GTK_EXPAND</property>
 574                             <property name="x_padding">5</property>
 575                             <property name="y_padding">5</property>
 576                           </packing>
 577                         </child>
 578                       </widget>
 579                     </child>
 580                   </widget>
 581                 </child>
 582                 <child>
 583                   <widget class="GtkLabel" id="label12355">
 584                     <property name="visible">True</property>
 585                     <property name="xalign">0</property>
 586                     <property name="yalign">0</property>
 587                     <property name="label" translatable="yes">&lt;b&gt;Colors:&lt;/b&gt;</property>
 588                     <property name="use_markup">True</property>
 589                   </widget>
 590                   <packing>
 591                     <property name="type">label_item</property>
 592                   </packing>
 593                 </child>
 594               </widget>
 595               <packing>
 596                 <property name="right_attach">2</property>
 597                 <property name="top_attach">1</property>
 598                 <property name="bottom_attach">3</property>
 599                 <property name="x_padding">5</property>
 600                 <property name="y_padding">5</property>
 601               </packing>
 602             </child>
 603             <child>
 604               <widget class="GtkFrame" id="frame49">
 605                 <property name="visible">True</property>
 606                 <property name="label_xalign">0</property>
 607                 <property name="label_yalign">0</property>
 608                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 609                 <child>
 610                   <widget class="GtkAlignment" id="alignment2">
 611                     <property name="visible">True</property>
 612                     <property name="xalign">0</property>
 613                     <property name="yalign">0</property>
 614                     <property name="left_padding">12</property>
 615                     <child>
 616                       <widget class="GtkTable" id="table20">
 617                         <property name="visible">True</property>
 618                         <property name="n_rows">2</property>
 619                         <property name="n_columns">2</property>
 620                         <child>
 621                           <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:sourceview.font.use_theme">
 622                             <property name="visible">True</property>
 623                             <property name="can_focus">True</property>
 624                             <property name="label" translatable="yes">Use theme font</property>
 625                             <property name="use_underline">True</property>
 626                             <property name="response_id">0</property>
 627                             <property name="draw_indicator">True</property>
 628                           </widget>
 629                           <packing>
 630                             <property name="right_attach">2</property>
 631                             <property name="y_options">GTK_EXPAND</property>
 632                           </packing>
 633                         </child>
 634                         <child>
 635                           <widget class="GtkLabel" id="label12361">
 636                             <property name="visible">True</property>
 637                             <property name="xalign">0</property>
 638                             <property name="yalign">0</property>
 639                             <property name="label" translatable="yes">Font: </property>
 640                           </widget>
 641                           <packing>
 642                             <property name="top_attach">1</property>
 643                             <property name="bottom_attach">2</property>
 644                             <property name="x_options"></property>
 645                             <property name="y_options"></property>
 646                           </packing>
 647                         </child>
 648                         <child>
 649                           <widget class="GtkFontButton" id="preferences_font:font:Monospace 12:0:sourceview.font">
 650                             <property name="visible">True</property>
 651                             <property name="can_focus">True</property>
 652                             <property name="response_id">0</property>
 653                           </widget>
 654                           <packing>
 655                             <property name="left_attach">1</property>
 656                             <property name="right_attach">2</property>
 657                             <property name="top_attach">1</property>
 658                             <property name="bottom_attach">2</property>
 659                             <property name="y_options">GTK_EXPAND</property>
 660                           </packing>
 661                         </child>
 662                       </widget>
 663                     </child>
 664                   </widget>
 665                 </child>
 666                 <child>
 667                   <widget class="GtkLabel" id="label">
 668                     <property name="visible">True</property>
 669                     <property name="xalign">0</property>
 670                     <property name="yalign">0</property>
 671                     <property name="label" translatable="yes">&lt;b&gt;Font:&lt;/b&gt;</property>
 672                     <property name="use_markup">True</property>
 673                   </widget>
 674                   <packing>
 675                     <property name="type">label_item</property>
 676                   </packing>
 677                 </child>
 678               </widget>
 679               <packing>
 680                 <property name="right_attach">2</property>
 681                 <property name="x_padding">5</property>
 682                 <property name="y_padding">5</property>
 683               </packing>
 684             </child>
 685           </widget>
 686           <packing>
 687             <property name="position">1</property>
 688           </packing>
 689         </child>
 690         <child>
 691           <widget class="GtkLabel" id="label12360">
 692             <property name="visible">True</property>
 693             <property name="xalign">0</property>
 694             <property name="yalign">0</property>
 695             <property name="label" translatable="yes">Font </property>
 696           </widget>
 697           <packing>
 698             <property name="type">tab</property>
 699             <property name="position">1</property>
 700             <property name="tab_fill">False</property>
 701           </packing>
 702         </child>
 703         <child>
 704           <widget class="GtkFrame" id="page3">
 705             <property name="visible">True</property>
 706             <property name="border_width">5</property>
 707             <property name="label_xalign">0</property>
 708             <property name="label_yalign">0</property>
 709             <property name="shadow_type">GTK_SHADOW_NONE</property>
 710             <child>
 711               <widget class="GtkTable" id="table17">
 712                 <property name="visible">True</property>
 713                 <property name="border_width">10</property>
 714                 <property name="n_rows">4</property>
 715                 <property name="n_columns">3</property>
 716                 <property name="column_spacing">5</property>
 717                 <property name="row_spacing">5</property>
 718                 <child>
 719                   <widget class="GtkLabel" id="label131">
 720                     <property name="visible">True</property>
 721                     <property name="xalign">0</property>
 722                     <property name="yalign">0</property>
 723                     <property name="label" translatable="yes">Mode:</property>
 724                   </widget>
 725                   <packing>
 726                     <property name="x_options">GTK_FILL</property>
 727                     <property name="y_options"></property>
 728                   </packing>
 729                 </child>
 730                 <child>
 731                   <widget class="GtkRadioButton" id="preferences_toggle:bool:1:0:print.color">
 732                     <property name="visible">True</property>
 733                     <property name="can_focus">True</property>
 734                     <property name="label" translatable="yes">Colour</property>
 735                     <property name="use_underline">True</property>
 736                     <property name="response_id">0</property>
 737                     <property name="draw_indicator">True</property>
 738                   </widget>
 739                   <packing>
 740                     <property name="left_attach">1</property>
 741                     <property name="right_attach">2</property>
 742                     <property name="x_options"></property>
 743                     <property name="y_options"></property>
 744                   </packing>
 745                 </child>
 746                 <child>
 747                   <widget class="GtkRadioButton" id="radiobutton4">
 748                     <property name="visible">True</property>
 749                     <property name="can_focus">True</property>
 750                     <property name="label" translatable="yes">Monochrome</property>
 751                     <property name="use_underline">True</property>
 752                     <property name="response_id">0</property>
 753                     <property name="draw_indicator">True</property>
 754                   </widget>
 755                   <packing>
 756                     <property name="left_attach">2</property>
 757                     <property name="right_attach">3</property>
 758                     <property name="x_options"></property>
 759                     <property name="y_options"></property>
 760                   </packing>
 761                 </child>
 762                 <child>
 763                   <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:print.header">
 764                     <property name="visible">True</property>
 765                     <property name="can_focus">True</property>
 766                     <property name="label" translatable="yes">Add page header</property>
 767                     <property name="use_underline">True</property>
 768                     <property name="response_id">0</property>
 769                     <property name="draw_indicator">True</property>
 770                   </widget>
 771                   <packing>
 772                     <property name="right_attach">3</property>
 773                     <property name="top_attach">1</property>
 774                     <property name="bottom_attach">2</property>
 775                     <property name="x_options">GTK_FILL</property>
 776                     <property name="y_options"></property>
 777                   </packing>
 778                 </child>
 779                 <child>
 780                   <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:print.linewrap">
 781                     <property name="visible">True</property>
 782                     <property name="can_focus">True</property>
 783                     <property name="label" translatable="yes">Enable line wrap</property>
 784                     <property name="use_underline">True</property>
 785                     <property name="response_id">0</property>
 786                     <property name="draw_indicator">True</property>
 787                   </widget>
 788                   <packing>
 789                     <property name="right_attach">3</property>
 790                     <property name="top_attach">2</property>
 791                     <property name="bottom_attach">3</property>
 792                     <property name="x_options">GTK_FILL</property>
 793                     <property name="y_options"></property>
 794                   </packing>
 795                 </child>
 796                 <child>
 797                   <widget class="GtkLabel" id="label132">
 798                     <property name="visible">True</property>
 799                     <property name="xalign">0</property>
 800                     <property name="yalign">0</property>
 801                     <property name="label" translatable="yes">Add line number every:</property>
 802                   </widget>
 803                   <packing>
 804                     <property name="top_attach">3</property>
 805                     <property name="bottom_attach">4</property>
 806                     <property name="x_options"></property>
 807                     <property name="y_options"></property>
 808                   </packing>
 809                 </child>
 810                 <child>
 811                   <widget class="GtkSpinButton" id="preferences_spin:int:1:0:print.linenumber.count">
 812                     <property name="visible">True</property>
 813                     <property name="can_focus">True</property>
 814                     <property name="adjustment">1 0 1000 1 10 10</property>
 815                     <property name="climb_rate">1</property>
 816                     <property name="numeric">True</property>
 817                   </widget>
 818                   <packing>
 819                     <property name="left_attach">1</property>
 820                     <property name="right_attach">2</property>
 821                     <property name="top_attach">3</property>
 822                     <property name="bottom_attach">4</property>
 823                     <property name="x_options"></property>
 824                     <property name="y_options"></property>
 825                   </packing>
 826                 </child>
 827                 <child>
 828                   <widget class="GtkLabel" id="label133">
 829                     <property name="visible">True</property>
 830                     <property name="xalign">0</property>
 831                     <property name="yalign">0</property>
 832                     <property name="label" translatable="yes">Lines</property>
 833                   </widget>
 834                   <packing>
 835                     <property name="left_attach">2</property>
 836                     <property name="right_attach">3</property>
 837                     <property name="top_attach">3</property>
 838                     <property name="bottom_attach">4</property>
 839                     <property name="x_options"></property>
 840                     <property name="y_options"></property>
 841                   </packing>
 842                 </child>
 843               </widget>
 844             </child>
 845             <child>
 846               <widget class="GtkLabel" id="label129">
 847                 <property name="visible">True</property>
 848                 <property name="xalign">0</property>
 849                 <property name="yalign">0</property>
 850                 <property name="label" translatable="yes">&lt;b&gt;Print options&lt;/b&gt;</property>
 851                 <property name="use_markup">True</property>
 852               </widget>
 853               <packing>
 854                 <property name="type">label_item</property>
 855               </packing>
 856             </child>
 857           </widget>
 858           <packing>
 859             <property name="position">2</property>
 860           </packing>
 861         </child>
 862         <child>
 863           <widget class="GtkLabel" id="label12352">
 864             <property name="visible">True</property>
 865             <property name="xalign">0</property>
 866             <property name="yalign">0</property>
 867             <property name="label" translatable="yes">Printing</property>
 868           </widget>
 869           <packing>
 870             <property name="type">tab</property>
 871             <property name="position">2</property>
 872             <property name="tab_fill">False</property>
 873           </packing>
 874         </child>
 875       </widget>
 876     </child>
 877   </widget>
 878 </glade-interface>