1<?xml version="1.0" encoding="UTF-8"?> 2<!-- Generated with glade 3.18.3 --> 3<interface> 4 <requires lib="gtk+" version="3.12"/> 5 <object class="GtkAdjustment" id="adjustment1"> 6 <property name="lower">1</property> 7 <property name="upper">100</property> 8 <property name="value">1</property> 9 <property name="step_increment">1</property> 10 <property name="page_increment">10</property> 11 </object> 12 <object class="GtkWindow" id="window1"> 13 <property name="visible">True</property> 14 <property name="can_focus">False</property> 15 <property name="title">window1</property> 16 <child> 17 <object class="GtkBox" id="contents"> 18 <property name="visible">True</property> 19 <property name="can_focus">False</property> 20 <property name="border_width">12</property> 21 <property name="spacing">18</property> 22 <child> 23 <object class="GtkBox" id="vbox20"> 24 <property name="visible">True</property> 25 <property name="can_focus">False</property> 26 <property name="orientation">vertical</property> 27 <property name="spacing">18</property> 28 <child> 29 <object class="GtkBox" id="vbox26"> 30 <property name="visible">True</property> 31 <property name="can_focus">False</property> 32 <property name="orientation">vertical</property> 33 <property name="spacing">6</property> 34 <child> 35 <object class="GtkLabel" id="label33"> 36 <property name="visible">True</property> 37 <property name="can_focus">False</property> 38 <property name="xalign">0</property> 39 <property name="label" translatable="yes">Syntax Highlighting</property> 40 <attributes> 41 <attribute name="weight" value="bold"/> 42 </attributes> 43 </object> 44 <packing> 45 <property name="expand">False</property> 46 <property name="fill">False</property> 47 <property name="position">0</property> 48 </packing> 49 </child> 50 <child> 51 <object class="GtkCheckButton" id="syntax_checkbutton"> 52 <property name="label" translatable="yes">Print synta_x highlighting</property> 53 <property name="use_action_appearance">False</property> 54 <property name="visible">True</property> 55 <property name="can_focus">True</property> 56 <property name="receives_default">False</property> 57 <property name="margin_start">12</property> 58 <property name="use_underline">True</property> 59 <property name="draw_indicator">True</property> 60 </object> 61 <packing> 62 <property name="expand">False</property> 63 <property name="fill">True</property> 64 <property name="position">1</property> 65 </packing> 66 </child> 67 </object> 68 <packing> 69 <property name="expand">False</property> 70 <property name="fill">True</property> 71 <property name="position">0</property> 72 </packing> 73 </child> 74 <child> 75 <object class="GtkBox" id="vbox22"> 76 <property name="visible">True</property> 77 <property name="can_focus">False</property> 78 <property name="orientation">vertical</property> 79 <property name="spacing">6</property> 80 <child> 81 <object class="GtkLabel" id="label27"> 82 <property name="visible">True</property> 83 <property name="can_focus">False</property> 84 <property name="xalign">0</property> 85 <property name="label" translatable="yes">Line Numbers</property> 86 <attributes> 87 <attribute name="weight" value="bold"/> 88 </attributes> 89 </object> 90 <packing> 91 <property name="expand">False</property> 92 <property name="fill">False</property> 93 <property name="position">0</property> 94 </packing> 95 </child> 96 <child> 97 <object class="GtkBox" id="vbox2"> 98 <property name="visible">True</property> 99 <property name="can_focus">False</property> 100 <property name="margin_start">12</property> 101 <property name="orientation">vertical</property> 102 <property name="spacing">6</property> 103 <child> 104 <object class="GtkCheckButton" id="line_numbers_checkbutton"> 105 <property name="label" translatable="yes">Print line nu_mbers</property> 106 <property name="use_action_appearance">False</property> 107 <property name="visible">True</property> 108 <property name="can_focus">True</property> 109 <property name="receives_default">False</property> 110 <property name="use_underline">True</property> 111 <property name="draw_indicator">True</property> 112 </object> 113 <packing> 114 <property name="expand">False</property> 115 <property name="fill">False</property> 116 <property name="position">0</property> 117 </packing> 118 </child> 119 <child> 120 <object class="GtkBox" id="line_numbers_hbox"> 121 <property name="visible">True</property> 122 <property name="can_focus">False</property> 123 <property name="spacing">6</property> 124 <child> 125 <object class="GtkLabel" id="label3"> 126 <property name="visible">True</property> 127 <property name="can_focus">False</property> 128 <property name="xalign">0.47999998927116394</property> 129 <property name="label" translatable="yes" comments="'Number every' from 'Number every 3 lines' in the 'Text Editor' tab of the print preferences.">_Number every</property> 130 <property name="use_underline">True</property> 131 <property name="mnemonic_widget">line_numbers_spinbutton</property> 132 </object> 133 <packing> 134 <property name="expand">False</property> 135 <property name="fill">False</property> 136 <property name="position">0</property> 137 </packing> 138 </child> 139 <child> 140 <object class="GtkSpinButton" id="line_numbers_spinbutton"> 141 <property name="visible">True</property> 142 <property name="can_focus">True</property> 143 <property name="adjustment">adjustment1</property> 144 <property name="climb_rate">1</property> 145 <property name="value">1</property> 146 </object> 147 <packing> 148 <property name="expand">False</property> 149 <property name="fill">False</property> 150 <property name="position">1</property> 151 </packing> 152 </child> 153 <child> 154 <object class="GtkLabel" id="label4"> 155 <property name="visible">True</property> 156 <property name="can_focus">False</property> 157 <property name="label" translatable="yes" comments="'lines' from 'Number every 3 lines' in the 'Text Editor' tab of the print preferences.">lines</property> 158 </object> 159 <packing> 160 <property name="expand">False</property> 161 <property name="fill">False</property> 162 <property name="position">2</property> 163 </packing> 164 </child> 165 </object> 166 <packing> 167 <property name="expand">False</property> 168 <property name="fill">False</property> 169 <property name="position">1</property> 170 </packing> 171 </child> 172 </object> 173 <packing> 174 <property name="expand">False</property> 175 <property name="fill">True</property> 176 <property name="position">1</property> 177 </packing> 178 </child> 179 </object> 180 <packing> 181 <property name="expand">False</property> 182 <property name="fill">True</property> 183 <property name="position">1</property> 184 </packing> 185 </child> 186 <child> 187 <object class="GtkBox" id="vbox24"> 188 <property name="visible">True</property> 189 <property name="can_focus">False</property> 190 <property name="orientation">vertical</property> 191 <property name="spacing">6</property> 192 <child> 193 <object class="GtkLabel" id="label31"> 194 <property name="visible">True</property> 195 <property name="can_focus">False</property> 196 <property name="xalign">0</property> 197 <property name="label" translatable="yes">Text Wrapping</property> 198 <attributes> 199 <attribute name="weight" value="bold"/> 200 </attributes> 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="GtkBox" id="vbox25"> 210 <property name="visible">True</property> 211 <property name="can_focus">False</property> 212 <property name="margin_start">12</property> 213 <property name="orientation">vertical</property> 214 <property name="spacing">6</property> 215 <child> 216 <object class="GtkCheckButton" id="text_wrapping_checkbutton"> 217 <property name="label" translatable="yes">Enable text _wrapping</property> 218 <property name="use_action_appearance">False</property> 219 <property name="visible">True</property> 220 <property name="can_focus">True</property> 221 <property name="receives_default">False</property> 222 <property name="use_underline">True</property> 223 <property name="draw_indicator">True</property> 224 </object> 225 <packing> 226 <property name="expand">False</property> 227 <property name="fill">False</property> 228 <property name="position">0</property> 229 </packing> 230 </child> 231 <child> 232 <object class="GtkBox" id="hbox20"> 233 <property name="visible">True</property> 234 <property name="can_focus">False</property> 235 <child> 236 <object class="GtkCheckButton" id="do_not_split_checkbutton"> 237 <property name="label" translatable="yes">Do not _split words over two lines</property> 238 <property name="use_action_appearance">False</property> 239 <property name="visible">True</property> 240 <property name="can_focus">True</property> 241 <property name="receives_default">False</property> 242 <property name="use_underline">True</property> 243 <property name="draw_indicator">True</property> 244 </object> 245 <packing> 246 <property name="expand">False</property> 247 <property name="fill">False</property> 248 <property name="position">0</property> 249 </packing> 250 </child> 251 </object> 252 <packing> 253 <property name="expand">False</property> 254 <property name="fill">True</property> 255 <property name="position">1</property> 256 </packing> 257 </child> 258 </object> 259 <packing> 260 <property name="expand">False</property> 261 <property name="fill">True</property> 262 <property name="position">1</property> 263 </packing> 264 </child> 265 </object> 266 <packing> 267 <property name="expand">False</property> 268 <property name="fill">False</property> 269 <property name="position">2</property> 270 </packing> 271 </child> 272 <child> 273 <object class="GtkBox" id="vbox39"> 274 <property name="visible">True</property> 275 <property name="can_focus">False</property> 276 <property name="orientation">vertical</property> 277 <property name="spacing">6</property> 278 <child> 279 <object class="GtkLabel" id="label45"> 280 <property name="visible">True</property> 281 <property name="can_focus">False</property> 282 <property name="xalign">0</property> 283 <property name="label" translatable="yes">Page header</property> 284 <attributes> 285 <attribute name="weight" value="bold"/> 286 </attributes> 287 </object> 288 <packing> 289 <property name="expand">False</property> 290 <property name="fill">False</property> 291 <property name="position">0</property> 292 </packing> 293 </child> 294 <child> 295 <object class="GtkCheckButton" id="page_header_checkbutton"> 296 <property name="label" translatable="yes">Print page _headers</property> 297 <property name="use_action_appearance">False</property> 298 <property name="visible">True</property> 299 <property name="can_focus">True</property> 300 <property name="receives_default">False</property> 301 <property name="margin_start">12</property> 302 <property name="use_underline">True</property> 303 <property name="draw_indicator">True</property> 304 </object> 305 <packing> 306 <property name="expand">False</property> 307 <property name="fill">True</property> 308 <property name="position">1</property> 309 </packing> 310 </child> 311 </object> 312 <packing> 313 <property name="expand">False</property> 314 <property name="fill">True</property> 315 <property name="position">3</property> 316 </packing> 317 </child> 318 </object> 319 <packing> 320 <property name="expand">False</property> 321 <property name="fill">True</property> 322 <property name="position">0</property> 323 </packing> 324 </child> 325 <child> 326 <object class="GtkBox" id="vbox36"> 327 <property name="visible">True</property> 328 <property name="can_focus">False</property> 329 <property name="orientation">vertical</property> 330 <property name="spacing">18</property> 331 <child> 332 <object class="GtkBox" id="vbox37"> 333 <property name="visible">True</property> 334 <property name="can_focus">False</property> 335 <property name="orientation">vertical</property> 336 <property name="spacing">6</property> 337 <child> 338 <object class="GtkLabel" id="label43"> 339 <property name="visible">True</property> 340 <property name="can_focus">False</property> 341 <property name="xalign">0</property> 342 <property name="label" translatable="yes">Fonts</property> 343 <attributes> 344 <attribute name="weight" value="bold"/> 345 </attributes> 346 </object> 347 <packing> 348 <property name="expand">False</property> 349 <property name="fill">False</property> 350 <property name="position">0</property> 351 </packing> 352 </child> 353 <child> 354 <object class="GtkBox" id="vbox4"> 355 <property name="visible">True</property> 356 <property name="can_focus">False</property> 357 <property name="margin_start">12</property> 358 <property name="orientation">vertical</property> 359 <property name="spacing">12</property> 360 <child> 361 <object class="GtkGrid" id="fonts_grid"> 362 <property name="visible">True</property> 363 <property name="can_focus">False</property> 364 <property name="row_spacing">12</property> 365 <property name="column_spacing">12</property> 366 <child> 367 <object class="GtkLabel" id="body_font_label"> 368 <property name="visible">True</property> 369 <property name="can_focus">False</property> 370 <property name="xalign">0</property> 371 <property name="label" translatable="yes">_Body:</property> 372 <property name="use_underline">True</property> 373 <property name="mnemonic_widget">body_fontbutton</property> 374 </object> 375 <packing> 376 <property name="left_attach">0</property> 377 <property name="top_attach">0</property> 378 </packing> 379 </child> 380 <child> 381 <object class="GtkFontButton" id="body_fontbutton"> 382 <property name="use_action_appearance">False</property> 383 <property name="visible">True</property> 384 <property name="can_focus">True</property> 385 <property name="receives_default">True</property> 386 <property name="font">Sans 12</property> 387 <property name="preview_text"/> 388 <property name="show_preview_entry">False</property> 389 <property name="use_font">True</property> 390 <property name="show_style">False</property> 391 </object> 392 <packing> 393 <property name="left_attach">1</property> 394 <property name="top_attach">0</property> 395 </packing> 396 </child> 397 <child> 398 <object class="GtkLabel" id="numbers_font_label"> 399 <property name="visible">True</property> 400 <property name="can_focus">False</property> 401 <property name="xalign">0</property> 402 <property name="label" translatable="yes">_Line numbers:</property> 403 <property name="use_underline">True</property> 404 <property name="mnemonic_widget">numbers_fontbutton</property> 405 </object> 406 <packing> 407 <property name="left_attach">0</property> 408 <property name="top_attach">1</property> 409 </packing> 410 </child> 411 <child> 412 <object class="GtkFontButton" id="numbers_fontbutton"> 413 <property name="use_action_appearance">False</property> 414 <property name="visible">True</property> 415 <property name="can_focus">True</property> 416 <property name="receives_default">True</property> 417 <property name="font">Sans 12</property> 418 <property name="preview_text"/> 419 <property name="show_preview_entry">False</property> 420 <property name="use_font">True</property> 421 <property name="show_style">False</property> 422 </object> 423 <packing> 424 <property name="left_attach">1</property> 425 <property name="top_attach">1</property> 426 </packing> 427 </child> 428 <child> 429 <object class="GtkLabel" id="headers_font_label"> 430 <property name="visible">True</property> 431 <property name="can_focus">False</property> 432 <property name="xalign">0</property> 433 <property name="label" translatable="yes">He_aders and footers:</property> 434 <property name="use_underline">True</property> 435 <property name="mnemonic_widget">headers_fontbutton</property> 436 </object> 437 <packing> 438 <property name="left_attach">0</property> 439 <property name="top_attach">2</property> 440 </packing> 441 </child> 442 <child> 443 <object class="GtkFontButton" id="headers_fontbutton"> 444 <property name="use_action_appearance">False</property> 445 <property name="visible">True</property> 446 <property name="can_focus">True</property> 447 <property name="receives_default">True</property> 448 <property name="font">Sans 12</property> 449 <property name="preview_text"/> 450 <property name="show_preview_entry">False</property> 451 <property name="use_font">True</property> 452 <property name="show_style">False</property> 453 </object> 454 <packing> 455 <property name="left_attach">1</property> 456 <property name="top_attach">2</property> 457 </packing> 458 </child> 459 </object> 460 <packing> 461 <property name="expand">False</property> 462 <property name="fill">True</property> 463 <property name="position">0</property> 464 </packing> 465 </child> 466 <child> 467 <object class="GtkButtonBox" id="hbuttonbox1"> 468 <property name="visible">True</property> 469 <property name="can_focus">False</property> 470 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 471 <property name="layout_style">end</property> 472 <child> 473 <object class="GtkButton" id="restore_button"> 474 <property name="label" translatable="yes">_Restore Default Fonts</property> 475 <property name="use_action_appearance">False</property> 476 <property name="visible">True</property> 477 <property name="can_focus">True</property> 478 <property name="receives_default">False</property> 479 <property name="use_underline">True</property> 480 </object> 481 <packing> 482 <property name="expand">False</property> 483 <property name="fill">False</property> 484 <property name="position">0</property> 485 </packing> 486 </child> 487 </object> 488 <packing> 489 <property name="expand">False</property> 490 <property name="fill">True</property> 491 <property name="position">1</property> 492 </packing> 493 </child> 494 </object> 495 <packing> 496 <property name="expand">False</property> 497 <property name="fill">True</property> 498 <property name="position">1</property> 499 </packing> 500 </child> 501 </object> 502 <packing> 503 <property name="expand">False</property> 504 <property name="fill">True</property> 505 <property name="position">0</property> 506 </packing> 507 </child> 508 </object> 509 <packing> 510 <property name="expand">False</property> 511 <property name="fill">False</property> 512 <property name="position">1</property> 513 </packing> 514 </child> 515 </object> 516 </child> 517 </object> 518</interface> 519