src/frontends/xforms/forms/form_preferences.fd

   1 Magic: 13000
   2
   3 Internal Form Definition File
   4     (do not change)
   5
   6 Number of forms: 14
   7 Unit of measure: FL_COORD_PIXEL
   8 SnapGrid: 5
   9
  10 =============== FORM ===============
  11 Name: form_preferences
  12 Width: 470
  13 Height: 500
  14 Number of Objects: 8
  15
  16 --------------------
  17 class: FL_BOX
  18 type: UP_BOX
  19 box: 0 0 470 500
  20 boxtype: FL_UP_BOX
  21 colors: FL_COL1 FL_COL1
  22 alignment: FL_ALIGN_CENTER
  23 style: FL_NORMAL_STYLE
  24 size: FL_DEFAULT_SIZE
  25 lcol: FL_BLACK
  26 label:
  27 shortcut:
  28 resize: FL_RESIZE_ALL
  29 gravity: FL_NoGravity FL_NoGravity
  30 name:
  31 callback:
  32 argument:
  33
  34 --------------------
  35 class: FL_TABFOLDER
  36 type: TOP_TABFOLDER
  37 box: 5 10 455 375
  38 boxtype: FL_FLAT_BOX
  39 colors: FL_COL1 FL_COL1
  40 alignment: FL_ALIGN_TOP_LEFT
  41 style: FL_BOLD_STYLE
  42 size: FL_NORMAL_SIZE
  43 lcol: FL_BLACK
  44 label:
  45 shortcut:
  46 resize: FL_RESIZE_NONE
  47 gravity: FL_NoGravity FL_NoGravity
  48 name: tabfolder_prefs
  49 callback:
  50 argument:
  51
  52 --------------------
  53 class: FL_BUTTON
  54 type: NORMAL_BUTTON
  55 box: 5 390 100 30
  56 boxtype: FL_UP_BOX
  57 colors: FL_COL1 FL_COL1
  58 alignment: FL_ALIGN_CENTER
  59 style: FL_NORMAL_STYLE
  60 size: FL_NORMAL_SIZE
  61 lcol: FL_BLACK
  62 label: Restore|#R
  63 shortcut:
  64 resize: FL_RESIZE_ALL
  65 gravity: FL_NoGravity FL_NoGravity
  66 name: button_restore
  67 callback: C_FormBaseDeprecatedRestoreCB
  68 argument: 0
  69
  70 --------------------
  71 class: FL_BUTTON
  72 type: RETURN_BUTTON
  73 box: 170 390 90 30
  74 boxtype: FL_UP_BOX
  75 colors: FL_COL1 FL_COL1
  76 alignment: FL_ALIGN_CENTER
  77 style: FL_NORMAL_STYLE
  78 size: FL_NORMAL_SIZE
  79 lcol: FL_BLACK
  80 label: Save
  81 shortcut: ^M
  82 resize: FL_RESIZE_ALL
  83 gravity: FL_NoGravity FL_NoGravity
  84 name: button_ok
  85 callback: C_FormBaseDeprecatedOKCB
  86 argument: 0
  87
  88 --------------------
  89 class: FL_BUTTON
  90 type: NORMAL_BUTTON
  91 box: 270 390 90 30
  92 boxtype: FL_UP_BOX
  93 colors: FL_COL1 FL_COL1
  94 alignment: FL_ALIGN_CENTER
  95 style: FL_NORMAL_STYLE
  96 size: FL_NORMAL_SIZE
  97 lcol: FL_BLACK
  98 label: Apply|#A
  99 shortcut:
 100 resize: FL_RESIZE_ALL
 101 gravity: FL_NoGravity FL_NoGravity
 102 name: button_apply
 103 callback: C_FormBaseDeprecatedApplyCB
 104 argument: 0
 105
 106 --------------------
 107 class: FL_BUTTON
 108 type: NORMAL_BUTTON
 109 box: 370 390 90 30
 110 boxtype: FL_UP_BOX
 111 colors: FL_COL1 FL_COL1
 112 alignment: FL_ALIGN_CENTER
 113 style: FL_NORMAL_STYLE
 114 size: FL_NORMAL_SIZE
 115 lcol: FL_BLACK
 116 label: Cancel|^[
 117 shortcut:
 118 resize: FL_RESIZE_ALL
 119 gravity: FL_NoGravity FL_NoGravity
 120 name: button_close
 121 callback: C_FormBaseDeprecatedCancelCB
 122 argument: 0
 123
 124 --------------------
 125 class: FL_FRAME
 126 type: ENGRAVED_FRAME
 127 box: 0 425 470 1
 128 boxtype: FL_NO_BOX
 129 colors: FL_BLACK FL_COL1
 130 alignment: FL_ALIGN_CENTER
 131 style: FL_NORMAL_STYLE
 132 size: FL_DEFAULT_SIZE
 133 lcol: FL_BLACK
 134 label:
 135 shortcut:
 136 resize: FL_RESIZE_ALL
 137 gravity: FL_NoGravity FL_NoGravity
 138 name:
 139 callback:
 140 argument:
 141
 142 --------------------
 143 class: FL_TEXT
 144 type: NORMAL_TEXT
 145 box: 5 430 460 70
 146 boxtype: FL_FLAT_BOX
 147 colors: FL_COL1 FL_MCOL
 148 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
 149 style: FL_NORMAL_STYLE
 150 size: FL_DEFAULT_SIZE
 151 lcol: FL_BLACK
 152 label:
 153 shortcut:
 154 resize: FL_RESIZE_ALL
 155 gravity: FL_NoGravity FL_NoGravity
 156 name: text_warning
 157 callback:
 158 argument:
 159
 160 =============== FORM ===============
 161 Name: form_preferences_inner_tab
 162 Width: 455
 163 Height: 375
 164 Number of Objects: 2
 165
 166 --------------------
 167 class: FL_BOX
 168 type: FLAT_BOX
 169 box: 0 0 455 375
 170 boxtype: FL_FLAT_BOX
 171 colors: FL_COL1 FL_COL1
 172 alignment: FL_ALIGN_CENTER
 173 style: FL_NORMAL_STYLE
 174 size: FL_DEFAULT_SIZE
 175 lcol: FL_BLACK
 176 label:
 177 shortcut:
 178 resize: FL_RESIZE_ALL
 179 gravity: FL_NoGravity FL_NoGravity
 180 name:
 181 callback:
 182 argument:
 183
 184 --------------------
 185 class: FL_TABFOLDER
 186 type: TOP_TABFOLDER
 187 box: 0 0 455 375
 188 boxtype: FL_FLAT_BOX
 189 colors: FL_COL1 FL_COL1
 190 alignment: FL_ALIGN_TOP_LEFT
 191 style: FL_NORMAL_STYLE
 192 size: FL_DEFAULT_SIZE
 193 lcol: FL_BLACK
 194 label:
 195 shortcut:
 196 resize: FL_RESIZE_NONE
 197 gravity: FL_NoGravity FL_NoGravity
 198 name: tabfolder_inner
 199 callback:
 200 argument:
 201
 202 =============== FORM ===============
 203 Name: form_preferences_screen_fonts
 204 Width: 455
 205 Height: 375
 206 Number of Objects: 21
 207
 208 --------------------
 209 class: FL_BOX
 210 type: FLAT_BOX
 211 box: 0 0 455 375
 212 boxtype: FL_FLAT_BOX
 213 colors: FL_COL1 FL_COL1
 214 alignment: FL_ALIGN_CENTER
 215 style: FL_NORMAL_STYLE
 216 size: FL_DEFAULT_SIZE
 217 lcol: FL_BLACK
 218 label:
 219 shortcut:
 220 resize: FL_RESIZE_ALL
 221 gravity: FL_NoGravity FL_NoGravity
 222 name:
 223 callback:
 224 argument:
 225
 226 --------------------
 227 class: FL_LABELFRAME
 228 type: ENGRAVED_FRAME
 229 box: 10 180 285 145
 230 boxtype: FL_NO_BOX
 231 colors: FL_BLACK FL_COL1
 232 alignment: FL_ALIGN_TOP_LEFT
 233 style: FL_NORMAL_STYLE
 234 size: FL_DEFAULT_SIZE
 235 lcol: FL_BLACK
 236 label: Scale & Resolution
 237 shortcut:
 238 resize: FL_RESIZE_ALL
 239 gravity: FL_NoGravity FL_NoGravity
 240 name:
 241 callback:
 242 argument:
 243
 244 --------------------
 245 class: FL_LABELFRAME
 246 type: ENGRAVED_FRAME
 247 box: 10 15 285 155
 248 boxtype: FL_NO_BOX
 249 colors: FL_BLACK FL_COL1
 250 alignment: FL_ALIGN_TOP_LEFT
 251 style: FL_NORMAL_STYLE
 252 size: FL_DEFAULT_SIZE
 253 lcol: FL_BLACK
 254 label: Fonts used
 255 shortcut:
 256 resize: FL_RESIZE_ALL
 257 gravity: FL_NoGravity FL_NoGravity
 258 name:
 259 callback:
 260 argument:
 261
 262 --------------------
 263 class: FL_INPUT
 264 type: NORMAL_INPUT
 265 box: 145 25 140 30
 266 boxtype: FL_DOWN_BOX
 267 colors: FL_COL1 FL_MCOL
 268 alignment: FL_ALIGN_LEFT
 269 style: FL_NORMAL_STYLE
 270 size: FL_NORMAL_SIZE
 271 lcol: FL_BLACK
 272 label: Roman|#R
 273 shortcut:
 274 resize: FL_RESIZE_ALL
 275 gravity: FL_NoGravity FL_NoGravity
 276 name: input_roman
 277 callback: C_FormBaseDeprecatedInputCB
 278 argument: 0
 279
 280 --------------------
 281 class: FL_INPUT
 282 type: NORMAL_INPUT
 283 box: 145 60 140 30
 284 boxtype: FL_DOWN_BOX
 285 colors: FL_COL1 FL_MCOL
 286 alignment: FL_ALIGN_LEFT
 287 style: FL_NORMAL_STYLE
 288 size: FL_NORMAL_SIZE
 289 lcol: FL_BLACK
 290 label: Sans Serif|#S
 291 shortcut:
 292 resize: FL_RESIZE_ALL
 293 gravity: FL_NoGravity FL_NoGravity
 294 name: input_sans
 295 callback: C_FormBaseDeprecatedInputCB
 296 argument: 0
 297
 298 --------------------
 299 class: FL_INPUT
 300 type: NORMAL_INPUT
 301 box: 145 95 140 30
 302 boxtype: FL_DOWN_BOX
 303 colors: FL_COL1 FL_MCOL
 304 alignment: FL_ALIGN_LEFT
 305 style: FL_NORMAL_STYLE
 306 size: FL_NORMAL_SIZE
 307 lcol: FL_BLACK
 308 label: Typewriter|#T
 309 shortcut:
 310 resize: FL_RESIZE_ALL
 311 gravity: FL_NoGravity FL_NoGravity
 312 name: input_typewriter
 313 callback: C_FormBaseDeprecatedInputCB
 314 argument: 0
 315
 316 --------------------
 317 class: FL_INPUT
 318 type: NORMAL_INPUT
 319 box: 145 130 140 30
 320 boxtype: FL_DOWN_BOX
 321 colors: FL_COL1 FL_MCOL
 322 alignment: FL_ALIGN_LEFT
 323 style: FL_NORMAL_STYLE
 324 size: FL_NORMAL_SIZE
 325 lcol: FL_BLACK
 326 label: Encoding|#E
 327 shortcut:
 328 resize: FL_RESIZE_ALL
 329 gravity: FL_NoGravity FL_NoGravity
 330 name: input_screen_encoding
 331 callback: C_FormBaseDeprecatedInputCB
 332 argument: 0
 333
 334 --------------------
 335 class: FL_CHECKBUTTON
 336 type: PUSH_BUTTON
 337 box: 20 190 34 41
 338 boxtype: FL_NO_BOX
 339 colors: FL_COL1 FL_YELLOW
 340 alignment: FL_ALIGN_RIGHT
 341 style: FL_NORMAL_STYLE
 342 size: FL_NORMAL_SIZE
 343 lcol: FL_BLACK
 344 label: Rescale bitmap fonts|#b
 345 shortcut:
 346 resize: FL_RESIZE_ALL
 347 gravity: FL_NoGravity FL_NoGravity
 348 name: check_scalable
 349 callback: C_FormBaseDeprecatedInputCB
 350 argument: 0
 351         value: 1
 352
 353 --------------------
 354 class: FL_COUNTER
 355 type: NORMAL_COUNTER
 356 box: 185 245 95 30
 357 boxtype: FL_UP_BOX
 358 colors: FL_COL1 FL_BLUE
 359 alignment: FL_ALIGN_LEFT
 360 style: FL_NORMAL_STYLE
 361 size: FL_NORMAL_SIZE
 362 lcol: FL_BLACK
 363 label: Zoom %|#Z
 364 shortcut:
 365 resize: FL_RESIZE_ALL
 366 gravity: FL_NoGravity FL_NoGravity
 367 name: counter_zoom
 368 callback: C_FormBaseDeprecatedInputCB
 369 argument: 0
 370   bounds: 0 999
 371   precision: 0
 372   value: 150
 373   sstep: 1
 374
 375 --------------------
 376 class: FL_COUNTER
 377 type: NORMAL_COUNTER
 378 box: 185 280 95 30
 379 boxtype: FL_UP_BOX
 380 colors: FL_COL1 FL_BLUE
 381 alignment: FL_ALIGN_LEFT
 382 style: FL_NORMAL_STYLE
 383 size: FL_NORMAL_SIZE
 384 lcol: FL_BLACK
 385 label: Screen DPI|#D
 386 shortcut:
 387 resize: FL_RESIZE_ALL
 388 gravity: FL_NoGravity FL_NoGravity
 389 name: counter_dpi
 390 callback: C_FormBaseDeprecatedInputCB
 391 argument: 0
 392   bounds: 0 999
 393   precision: 0
 394   value: 150
 395   sstep: 1
 396
 397 --------------------
 398 class: FL_INPUT
 399 type: FLOAT_INPUT
 400 box: 370 20 70 30
 401 boxtype: FL_DOWN_BOX
 402 colors: FL_COL1 FL_MCOL
 403 alignment: FL_ALIGN_LEFT
 404 style: FL_NORMAL_STYLE
 405 size: FL_NORMAL_SIZE
 406 lcol: FL_BLACK
 407 label: tiny
 408 shortcut:
 409 resize: FL_RESIZE_ALL
 410 gravity: FL_NoGravity FL_NoGravity
 411 name: input_tiny
 412 callback: C_FormBaseDeprecatedInputCB
 413 argument: 0
 414
 415 --------------------
 416 class: FL_INPUT
 417 type: FLOAT_INPUT
 418 box: 370 50 70 30
 419 boxtype: FL_DOWN_BOX
 420 colors: FL_COL1 FL_MCOL
 421 alignment: FL_ALIGN_LEFT
 422 style: FL_NORMAL_STYLE
 423 size: FL_NORMAL_SIZE
 424 lcol: FL_BLACK
 425 label: smallest
 426 shortcut:
 427 resize: FL_RESIZE_ALL
 428 gravity: FL_NoGravity FL_NoGravity
 429 name: input_script
 430 callback: C_FormBaseDeprecatedInputCB
 431 argument: 0
 432
 433 --------------------
 434 class: FL_INPUT
 435 type: FLOAT_INPUT
 436 box: 370 80 70 30
 437 boxtype: FL_DOWN_BOX
 438 colors: FL_COL1 FL_MCOL
 439 alignment: FL_ALIGN_LEFT
 440 style: FL_NORMAL_STYLE
 441 size: FL_NORMAL_SIZE
 442 lcol: FL_BLACK
 443 label: smaller
 444 shortcut:
 445 resize: FL_RESIZE_ALL
 446 gravity: FL_NoGravity FL_NoGravity
 447 name: input_footnote
 448 callback: C_FormBaseDeprecatedInputCB
 449 argument: 0
 450
 451 --------------------
 452 class: FL_INPUT
 453 type: FLOAT_INPUT
 454 box: 370 110 70 30
 455 boxtype: FL_DOWN_BOX
 456 colors: FL_COL1 FL_MCOL
 457 alignment: FL_ALIGN_LEFT
 458 style: FL_NORMAL_STYLE
 459 size: FL_NORMAL_SIZE
 460 lcol: FL_BLACK
 461 label: small
 462 shortcut:
 463 resize: FL_RESIZE_ALL
 464 gravity: FL_NoGravity FL_NoGravity
 465 name: input_small
 466 callback: C_FormBaseDeprecatedInputCB
 467 argument: 0
 468
 469 --------------------
 470 class: FL_INPUT
 471 type: FLOAT_INPUT
 472 box: 370 140 70 30
 473 boxtype: FL_DOWN_BOX
 474 colors: FL_COL1 FL_MCOL
 475 alignment: FL_ALIGN_LEFT
 476 style: FL_NORMAL_STYLE
 477 size: FL_NORMAL_SIZE
 478 lcol: FL_BLACK
 479 label: normal
 480 shortcut:
 481 resize: FL_RESIZE_ALL
 482 gravity: FL_NoGravity FL_NoGravity
 483 name: input_normal
 484 callback: C_FormBaseDeprecatedInputCB
 485 argument: 0
 486
 487 --------------------
 488 class: FL_INPUT
 489 type: FLOAT_INPUT
 490 box: 370 170 70 30
 491 boxtype: FL_DOWN_BOX
 492 colors: FL_COL1 FL_MCOL
 493 alignment: FL_ALIGN_LEFT
 494 style: FL_NORMAL_STYLE
 495 size: FL_NORMAL_SIZE
 496 lcol: FL_BLACK
 497 label: large
 498 shortcut:
 499 resize: FL_RESIZE_ALL
 500 gravity: FL_NoGravity FL_NoGravity
 501 name: input_large
 502 callback: C_FormBaseDeprecatedInputCB
 503 argument: 0
 504
 505 --------------------
 506 class: FL_INPUT
 507 type: FLOAT_INPUT
 508 box: 370 200 70 30
 509 boxtype: FL_DOWN_BOX
 510 colors: FL_COL1 FL_MCOL
 511 alignment: FL_ALIGN_LEFT
 512 style: FL_NORMAL_STYLE
 513 size: FL_NORMAL_SIZE
 514 lcol: FL_BLACK
 515 label: larger
 516 shortcut:
 517 resize: FL_RESIZE_ALL
 518 gravity: FL_NoGravity FL_NoGravity
 519 name: input_larger
 520 callback: C_FormBaseDeprecatedInputCB
 521 argument: 0
 522
 523 --------------------
 524 class: FL_INPUT
 525 type: FLOAT_INPUT
 526 box: 370 230 70 30
 527 boxtype: FL_DOWN_BOX
 528 colors: FL_COL1 FL_MCOL
 529 alignment: FL_ALIGN_LEFT
 530 style: FL_NORMAL_STYLE
 531 size: FL_NORMAL_SIZE
 532 lcol: FL_BLACK
 533 label: largest
 534 shortcut:
 535 resize: FL_RESIZE_ALL
 536 gravity: FL_NoGravity FL_NoGravity
 537 name: input_largest
 538 callback: C_FormBaseDeprecatedInputCB
 539 argument: 0
 540
 541 --------------------
 542 class: FL_INPUT
 543 type: FLOAT_INPUT
 544 box: 370 260 70 30
 545 boxtype: FL_DOWN_BOX
 546 colors: FL_COL1 FL_MCOL
 547 alignment: FL_ALIGN_LEFT
 548 style: FL_NORMAL_STYLE
 549 size: FL_NORMAL_SIZE
 550 lcol: FL_BLACK
 551 label: huge
 552 shortcut:
 553 resize: FL_RESIZE_ALL
 554 gravity: FL_NoGravity FL_NoGravity
 555 name: input_huge
 556 callback: C_FormBaseDeprecatedInputCB
 557 argument: 0
 558
 559 --------------------
 560 class: FL_INPUT
 561 type: FLOAT_INPUT
 562 box: 370 290 70 30
 563 boxtype: FL_DOWN_BOX
 564 colors: FL_COL1 FL_MCOL
 565 alignment: FL_ALIGN_LEFT
 566 style: FL_NORMAL_STYLE
 567 size: FL_NORMAL_SIZE
 568 lcol: FL_BLACK
 569 label: huger
 570 shortcut:
 571 resize: FL_RESIZE_ALL
 572 gravity: FL_NoGravity FL_NoGravity
 573 name: input_huger
 574 callback: C_FormBaseDeprecatedInputCB
 575 argument: 0
 576
 577 --------------------
 578 class: FL_LABELFRAME
 579 type: ENGRAVED_FRAME
 580 box: 305 15 140 310
 581 boxtype: FL_NO_BOX
 582 colors: FL_BLACK FL_COL1
 583 alignment: FL_ALIGN_TOP_LEFT
 584 style: FL_NORMAL_STYLE
 585 size: FL_DEFAULT_SIZE
 586 lcol: FL_BLACK
 587 label: Size
 588 shortcut:
 589 resize: FL_RESIZE_ALL
 590 gravity: FL_NoGravity FL_NoGravity
 591 name:
 592 callback:
 593 argument:
 594
 595 =============== FORM ===============
 596 Name: form_preferences_interface
 597 Width: 450
 598 Height: 350
 599 Number of Objects: 12
 600
 601 --------------------
 602 class: FL_BOX
 603 type: FLAT_BOX
 604 box: 0 0 450 350
 605 boxtype: FL_FLAT_BOX
 606 colors: FL_COL1 FL_COL1
 607 alignment: FL_ALIGN_CENTER
 608 style: FL_NORMAL_STYLE
 609 size: FL_DEFAULT_SIZE
 610 lcol: FL_BLACK
 611 label:
 612 shortcut:
 613 resize: FL_RESIZE_ALL
 614 gravity: FL_NoGravity FL_NoGravity
 615 name:
 616 callback:
 617 argument:
 618
 619 --------------------
 620 class: FL_LABELFRAME
 621 type: ENGRAVED_FRAME
 622 box: 15 20 425 110
 623 boxtype: FL_NO_BOX
 624 colors: FL_BLACK FL_COL1
 625 alignment: FL_ALIGN_TOP_LEFT
 626 style: FL_NORMAL_STYLE
 627 size: FL_DEFAULT_SIZE
 628 lcol: FL_BLACK
 629 label: Popup Fonts & Encoding
 630 shortcut:
 631 resize: FL_RESIZE_ALL
 632 gravity: FL_NoGravity FL_NoGravity
 633 name:
 634 callback:
 635 argument:
 636
 637 --------------------
 638 class: FL_INPUT
 639 type: NORMAL_INPUT
 640 box: 230 30 200 30
 641 boxtype: FL_DOWN_BOX
 642 colors: FL_COL1 FL_MCOL
 643 alignment: FL_ALIGN_LEFT
 644 style: FL_NORMAL_STYLE
 645 size: FL_NORMAL_SIZE
 646 lcol: FL_BLACK
 647 label: Normal Font|#N
 648 shortcut:
 649 resize: FL_RESIZE_ALL
 650 gravity: FL_NoGravity FL_NoGravity
 651 name: input_popup_normal_font
 652 callback: C_FormBaseDeprecatedInputCB
 653 argument: 0
 654
 655 --------------------
 656 class: FL_INPUT
 657 type: NORMAL_INPUT
 658 box: 230 60 200 30
 659 boxtype: FL_DOWN_BOX
 660 colors: FL_COL1 FL_MCOL
 661 alignment: FL_ALIGN_LEFT
 662 style: FL_NORMAL_STYLE
 663 size: FL_NORMAL_SIZE
 664 lcol: FL_BLACK
 665 label: Bold Font|#B
 666 shortcut:
 667 resize: FL_RESIZE_ALL
 668 gravity: FL_NoGravity FL_NoGravity
 669 name: input_popup_bold_font
 670 callback: C_FormBaseDeprecatedInputCB
 671 argument: 0
 672
 673 --------------------
 674 class: FL_INPUT
 675 type: NORMAL_INPUT
 676 box: 230 90 200 30
 677 boxtype: FL_DOWN_BOX
 678 colors: FL_COL1 FL_MCOL
 679 alignment: FL_ALIGN_LEFT
 680 style: FL_NORMAL_STYLE
 681 size: FL_NORMAL_SIZE
 682 lcol: FL_BLACK
 683 label: Popup Encoding|#P
 684 shortcut:
 685 resize: FL_RESIZE_ALL
 686 gravity: FL_NoGravity FL_NoGravity
 687 name: input_popup_font_encoding
 688 callback: C_FormBaseDeprecatedInputCB
 689 argument: 0
 690
 691 --------------------
 692 class: FL_LABELFRAME
 693 type: ENGRAVED_FRAME
 694 box: 15 150 425 85
 695 boxtype: FL_NO_BOX
 696 colors: FL_BLACK FL_COL1
 697 alignment: FL_ALIGN_TOP_LEFT
 698 style: FL_NORMAL_STYLE
 699 size: FL_DEFAULT_SIZE
 700 lcol: FL_BLACK
 701 label: Layout & Bindings
 702 shortcut:
 703 resize: FL_RESIZE_ALL
 704 gravity: FL_NoGravity FL_NoGravity
 705 name:
 706 callback:
 707 argument:
 708
 709 --------------------
 710 class: FL_INPUT
 711 type: NORMAL_INPUT
 712 box: 160 160 170 30
 713 boxtype: FL_DOWN_BOX
 714 colors: FL_COL1 FL_MCOL
 715 alignment: FL_ALIGN_LEFT
 716 style: FL_NORMAL_STYLE
 717 size: FL_NORMAL_SIZE
 718 lcol: FL_BLACK
 719 label: User Interface file|#U
 720 shortcut:
 721 resize: FL_RESIZE_ALL
 722 gravity: FL_NoGravity FL_NoGravity
 723 name: input_ui_file
 724 callback: C_FormBaseDeprecatedInputCB
 725 argument: 0
 726
 727 --------------------
 728 class: FL_BUTTON
 729 type: NORMAL_BUTTON
 730 box: 335 160 100 30
 731 boxtype: FL_UP_BOX
 732 colors: FL_COL1 FL_COL1
 733 alignment: FL_ALIGN_CENTER
 734 style: FL_NORMAL_STYLE
 735 size: FL_NORMAL_SIZE
 736 lcol: FL_BLACK
 737 label: Browse...|#r
 738 shortcut:
 739 resize: FL_RESIZE_ALL
 740 gravity: FL_NoGravity FL_NoGravity
 741 name: button_ui_file_browse
 742 callback: C_FormBaseDeprecatedInputCB
 743 argument: 0
 744
 745 --------------------
 746 class: FL_INPUT
 747 type: NORMAL_INPUT
 748 box: 160 195 170 30
 749 boxtype: FL_DOWN_BOX
 750 colors: FL_COL1 FL_MCOL
 751 alignment: FL_ALIGN_LEFT
 752 style: FL_NORMAL_STYLE
 753 size: FL_NORMAL_SIZE
 754 lcol: FL_BLACK
 755 label: Bind file|#f
 756 shortcut:
 757 resize: FL_RESIZE_ALL
 758 gravity: FL_NoGravity FL_NoGravity
 759 name: input_bind_file
 760 callback: C_FormBaseDeprecatedInputCB
 761 argument: 0
 762
 763 --------------------
 764 class: FL_BUTTON
 765 type: NORMAL_BUTTON
 766 box: 335 195 100 30
 767 boxtype: FL_UP_BOX
 768 colors: FL_COL1 FL_COL1
 769 alignment: FL_ALIGN_CENTER
 770 style: FL_NORMAL_STYLE
 771 size: FL_NORMAL_SIZE
 772 lcol: FL_BLACK
 773 label: Browse...|#w
 774 shortcut:
 775 resize: FL_RESIZE_ALL
 776 gravity: FL_NoGravity FL_NoGravity
 777 name: button_bind_file_browse
 778 callback: C_FormBaseDeprecatedInputCB
 779 argument: 0
 780
 781 --------------------
 782 class: FL_LABELFRAME
 783 type: ENGRAVED_FRAME
 784 box: 15 255 425 45
 785 boxtype: FL_NO_BOX
 786 colors: FL_BLACK FL_COL1
 787 alignment: FL_ALIGN_TOP_LEFT
 788 style: FL_NORMAL_STYLE
 789 size: FL_DEFAULT_SIZE
 790 lcol: FL_BLACK
 791 label: Dead Keys
 792 shortcut:
 793 resize: FL_RESIZE_ALL
 794 gravity: FL_NoGravity FL_NoGravity
 795 name:
 796 callback:
 797 argument:
 798
 799 --------------------
 800 class: FL_CHECKBUTTON
 801 type: PUSH_BUTTON
 802 box: 95 265 30 30
 803 boxtype: FL_NO_BOX
 804 colors: FL_COL1 FL_YELLOW
 805 alignment: FL_ALIGN_CENTER
 806 style: FL_NORMAL_STYLE
 807 size: FL_NORMAL_SIZE
 808 lcol: FL_BLACK
 809 label: Override X Window dead-keys|#O
 810 shortcut:
 811 resize: FL_RESIZE_ALL
 812 gravity: FL_NoGravity FL_NoGravity
 813 name: check_override_x_dead_keys
 814 callback: C_FormBaseDeprecatedInputCB
 815 argument: 0
 816         value: 1
 817
 818 =============== FORM ===============
 819 Name: form_preferences_colors
 820 Width: 450
 821 Height: 360
 822 Number of Objects: 15
 823
 824 --------------------
 825 class: FL_BOX
 826 type: FLAT_BOX
 827 box: 0 0 450 360
 828 boxtype: FL_FLAT_BOX
 829 colors: FL_COL1 FL_COL1
 830 alignment: FL_ALIGN_CENTER
 831 style: FL_NORMAL_STYLE
 832 size: FL_DEFAULT_SIZE
 833 lcol: FL_BLACK
 834 label:
 835 shortcut:
 836 resize: FL_RESIZE_ALL
 837 gravity: FL_NoGravity FL_NoGravity
 838 name:
 839 callback:
 840 argument:
 841
 842 --------------------
 843 class: FL_BROWSER
 844 type: HOLD_BROWSER
 845 box: 10 25 195 290
 846 boxtype: FL_DOWN_BOX
 847 colors: FL_COL1 FL_YELLOW
 848 alignment: FL_ALIGN_TOP
 849 style: FL_NORMAL_STYLE
 850 size: FL_NORMAL_SIZE
 851 lcol: FL_BLACK
 852 label: LyX objects|#L
 853 shortcut:
 854 resize: FL_RESIZE_ALL
 855 gravity: FL_NoGravity FL_NoGravity
 856 name: browser_lyx_objs
 857 callback: C_FormBaseDeprecatedInputCB
 858 argument: 0
 859
 860 --------------------
 861 class: FL_DIAL
 862 type: NORMAL_DIAL
 863 box: 276 23 100 100
 864 boxtype: FL_FLAT_BOX
 865 colors: FL_COL1 FL_RIGHT_BCOL
 866 alignment: FL_ALIGN_CENTER
 867 style: FL_NORMAL_STYLE
 868 size: FL_DEFAULT_SIZE
 869 lcol: FL_BLACK
 870 label: H|#H
 871 shortcut:
 872 resize: FL_RESIZE_ALL
 873 gravity: FL_NoGravity FL_NoGravity
 874 name: dial_hue
 875 callback: C_FormBaseDeprecatedInputCB
 876 argument: 0
 877
 878 --------------------
 879 class: FL_SLIDER
 880 type: HOR_NICE_SLIDER
 881 box: 251 135 150 30
 882 boxtype: FL_DOWN_BOX
 883 colors: FL_COL1 FL_COL1
 884 alignment: FL_ALIGN_LEFT
 885 style: FL_NORMAL_STYLE
 886 size: FL_NORMAL_SIZE
 887 lcol: FL_BLACK
 888 label: S|#S
 889 shortcut:
 890 resize: FL_RESIZE_ALL
 891 gravity: FL_NoGravity FL_NoGravity
 892 name: slider_saturation
 893 callback: C_FormBaseDeprecatedInputCB
 894 argument: 0
 895         slsize: 0.15
 896
 897 --------------------
 898 class: FL_SLIDER
 899 type: HOR_NICE_SLIDER
 900 box: 251 175 150 30
 901 boxtype: FL_DOWN_BOX
 902 colors: FL_COL1 FL_COL1
 903 alignment: FL_ALIGN_LEFT
 904 style: FL_NORMAL_STYLE
 905 size: FL_NORMAL_SIZE
 906 lcol: FL_BLACK
 907 label: V|#V
 908 shortcut:
 909 resize: FL_RESIZE_ALL
 910 gravity: FL_NoGravity FL_NoGravity
 911 name: slider_value
 912 callback: C_FormBaseDeprecatedInputCB
 913 argument: 0
 914         slsize: 0.15
 915
 916 --------------------
 917 class: FL_SLIDER
 918 type: VERT_FILL_SLIDER
 919 box: 250 25 40 180
 920 boxtype: FL_DOWN_BOX
 921 colors: FL_COL1 FL_RED
 922 alignment: FL_ALIGN_BOTTOM
 923 style: FL_NORMAL_STYLE
 924 size: FL_NORMAL_SIZE
 925 lcol: FL_BLACK
 926 label: R|#R
 927 shortcut:
 928 resize: FL_RESIZE_ALL
 929 gravity: FL_NoGravity FL_NoGravity
 930 name: slider_red
 931 callback: C_FormBaseDeprecatedInputCB
 932 argument: 0
 933         slsize: 0.15
 934
 935 --------------------
 936 class: FL_SLIDER
 937 type: VERT_FILL_SLIDER
 938 box: 305 25 40 180
 939 boxtype: FL_DOWN_BOX
 940 colors: FL_COL1 FL_GREEN
 941 alignment: FL_ALIGN_BOTTOM
 942 style: FL_NORMAL_STYLE
 943 size: FL_NORMAL_SIZE
 944 lcol: FL_BLACK
 945 label: G|#G
 946 shortcut:
 947 resize: FL_RESIZE_ALL
 948 gravity: FL_NoGravity FL_NoGravity
 949 name: slider_green
 950 callback: C_FormBaseDeprecatedInputCB
 951 argument: 0
 952         slsize: 0.15
 953
 954 --------------------
 955 class: FL_SLIDER
 956 type: VERT_FILL_SLIDER
 957 box: 360 25 40 180
 958 boxtype: FL_DOWN_BOX
 959 colors: FL_COL1 FL_BLUE
 960 alignment: FL_ALIGN_BOTTOM
 961 style: FL_NORMAL_STYLE
 962 size: FL_NORMAL_SIZE
 963 lcol: FL_BLACK
 964 label: B|#B
 965 shortcut:
 966 resize: FL_RESIZE_ALL
 967 gravity: FL_NoGravity FL_NoGravity
 968 name: slider_blue
 969 callback: C_FormBaseDeprecatedInputCB
 970 argument: 0
 971         slsize: 0.15
 972
 973 --------------------
 974 class: FL_BEGIN_GROUP
 975 type: 0
 976 box: 0 10 10 0
 977 boxtype: FL_NO_BOX
 978 colors: FL_COL1 FL_MCOL
 979 alignment: FL_ALIGN_CENTER
 980 style: FL_NORMAL_STYLE
 981 size: FL_DEFAULT_SIZE
 982 lcol: FL_BLACK
 983 label:
 984 shortcut:
 985 resize: FL_RESIZE_ALL
 986 gravity: FL_NoGravity FL_NoGravity
 987 name:
 988 callback:
 989 argument:
 990
 991 --------------------
 992 class: FL_ROUND3DBUTTON
 993 type: RADIO_BUTTON
 994 box: 250 220 30 30
 995 boxtype: FL_NO_BOX
 996 colors: FL_COL1 FL_YELLOW
 997 alignment: FL_ALIGN_RIGHT
 998 style: FL_NORMAL_STYLE
 999 size: FL_DEFAULT_SIZE
1000 lcol: FL_BLACK
1001 label: HSV
1002 shortcut:
1003 resize: FL_RESIZE_ALL
1004 gravity: FL_NoGravity FL_NoGravity
1005 name: radio_hsv
1006 callback: C_FormBaseDeprecatedInputCB
1007 argument: 0
1008
1009 --------------------
1010 class: FL_ROUND3DBUTTON
1011 type: RADIO_BUTTON
1012 box: 335 220 30 30
1013 boxtype: FL_NO_BOX
1014 colors: FL_COL1 FL_YELLOW
1015 alignment: FL_ALIGN_RIGHT
1016 style: FL_NORMAL_STYLE
1017 size: FL_DEFAULT_SIZE
1018 lcol: FL_BLACK
1019 label: RGB
1020 shortcut:
1021 resize: FL_RESIZE_ALL
1022 gravity: FL_NoGravity FL_NoGravity
1023 name: radio_rgb
1024 callback: C_FormBaseDeprecatedInputCB
1025 argument: 0
1026         value: 1
1027
1028 --------------------
1029 class: FL_END_GROUP
1030 type: 0
1031 box: 0 0 0 0
1032 boxtype: FL_NO_BOX
1033 colors: FL_COL1 FL_MCOL
1034 alignment: FL_ALIGN_CENTER
1035 style: FL_NORMAL_STYLE
1036 size: FL_DEFAULT_SIZE
1037 lcol: FL_BLACK
1038 label:
1039 shortcut:
1040 resize: FL_RESIZE_ALL
1041 gravity: FL_NoGravity FL_NoGravity
1042 name:
1043 callback:
1044 argument:
1045
1046 --------------------
1047 class: FL_TEXT
1048 type: NORMAL_TEXT
1049 box: 250 250 150 30
1050 boxtype: FL_DOWN_BOX
1051 colors: FL_COL1 FL_MCOL
1052 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
1053 style: FL_NORMAL_STYLE
1054 size: FL_DEFAULT_SIZE
1055 lcol: FL_BLACK
1056 label:
1057 shortcut:
1058 resize: FL_RESIZE_ALL
1059 gravity: FL_NoGravity FL_NoGravity
1060 name: text_color_values
1061 callback:
1062 argument:
1063
1064 --------------------
1065 class: FL_BUTTON
1066 type: NORMAL_BUTTON
1067 box: 250 285 60 30
1068 boxtype: FL_BORDER_BOX
1069 colors: FL_WHITE FL_COL1
1070 alignment: FL_ALIGN_CENTER
1071 style: FL_NORMAL_STYLE
1072 size: FL_DEFAULT_SIZE
1073 lcol: FL_BLACK
1074 label:
1075 shortcut:
1076 resize: FL_RESIZE_ALL
1077 gravity: FL_NoGravity FL_NoGravity
1078 name: button_color
1079 callback:
1080 argument:
1081
1082 --------------------
1083 class: FL_BUTTON
1084 type: NORMAL_BUTTON
1085 box: 310 285 90 30
1086 boxtype: FL_UP_BOX
1087 colors: FL_COL1 FL_COL1
1088 alignment: FL_ALIGN_CENTER
1089 style: FL_NORMAL_STYLE
1090 size: FL_NORMAL_SIZE
1091 lcol: FL_BLACK
1092 label: Modify|#M
1093 shortcut:
1094 resize: FL_RESIZE_ALL
1095 gravity: FL_NoGravity FL_NoGravity
1096 name: button_modify
1097 callback: C_FormBaseDeprecatedInputCB
1098 argument: 0
1099
1100 =============== FORM ===============
1101 Name: form_preferences_lnf_misc
1102 Width: 450
1103 Height: 350
1104 Number of Objects: 17
1105
1106 --------------------
1107 class: FL_BOX
1108 type: FLAT_BOX
1109 box: 0 0 450 350
1110 boxtype: FL_FLAT_BOX
1111 colors: FL_COL1 FL_COL1
1112 alignment: FL_ALIGN_CENTER
1113 style: FL_NORMAL_STYLE
1114 size: FL_DEFAULT_SIZE
1115 lcol: FL_BLACK
1116 label:
1117 shortcut:
1118 resize: FL_RESIZE_ALL
1119 gravity: FL_NoGravity FL_NoGravity
1120 name:
1121 callback:
1122 argument:
1123
1124 --------------------
1125 class: FL_FRAME
1126 type: ENGRAVED_FRAME
1127 box: 15 15 255 210
1128 boxtype: FL_NO_BOX
1129 colors: FL_BLACK FL_COL1
1130 alignment: FL_ALIGN_CENTER
1131 style: FL_NORMAL_STYLE
1132 size: FL_DEFAULT_SIZE
1133 lcol: FL_BLACK
1134 label:
1135 shortcut:
1136 resize: FL_RESIZE_ALL
1137 gravity: FL_NoGravity FL_NoGravity
1138 name:
1139 callback:
1140 argument:
1141
1142 --------------------
1143 class: FL_CHECKBUTTON
1144 type: PUSH_BUTTON
1145 box: 15 25 30 30
1146 boxtype: FL_NO_BOX
1147 colors: FL_COL1 FL_YELLOW
1148 alignment: FL_ALIGN_CENTER
1149 style: FL_NORMAL_STYLE
1150 size: FL_NORMAL_SIZE
1151 lcol: FL_BLACK
1152 label: Auto region delete|#A
1153 shortcut:
1154 resize: FL_RESIZE_ALL
1155 gravity: FL_NoGravity FL_NoGravity
1156 name: check_auto_region_delete
1157 callback: C_FormBaseDeprecatedInputCB
1158 argument: 0
1159         value: 1
1160
1161 --------------------
1162 class: FL_CHECKBUTTON
1163 type: PUSH_BUTTON
1164 box: 15 65 30 30
1165 boxtype: FL_NO_BOX
1166 colors: FL_COL1 FL_YELLOW
1167 alignment: FL_ALIGN_CENTER
1168 style: FL_NORMAL_STYLE
1169 size: FL_NORMAL_SIZE
1170 lcol: FL_BLACK
1171 label: Exit confirmation|#E
1172 shortcut:
1173 resize: FL_RESIZE_ALL
1174 gravity: FL_NoGravity FL_NoGravity
1175 name: check_exit_confirm
1176 callback: C_FormBaseDeprecatedInputCB
1177 argument: 0
1178         value: 1
1179
1180 --------------------
1181 class: FL_CHECKBUTTON
1182 type: PUSH_BUTTON
1183 box: 15 105 30 30
1184 boxtype: FL_NO_BOX
1185 colors: FL_COL1 FL_YELLOW
1186 alignment: FL_ALIGN_CENTER
1187 style: FL_NORMAL_STYLE
1188 size: FL_NORMAL_SIZE
1189 lcol: FL_BLACK
1190 label: Cursor follows scrollbar|#f
1191 shortcut:
1192 resize: FL_RESIZE_ALL
1193 gravity: FL_NoGravity FL_NoGravity
1194 name: check_cursor_follows_scrollbar
1195 callback: C_FormBaseDeprecatedInputCB
1196 argument: 0
1197         value: 1
1198
1199 --------------------
1200 class: FL_CHECKBUTTON
1201 type: PUSH_BUTTON
1202 box: 15 145 30 30
1203 boxtype: FL_NO_BOX
1204 colors: FL_COL1 FL_YELLOW
1205 alignment: FL_ALIGN_CENTER
1206 style: FL_NORMAL_STYLE
1207 size: FL_NORMAL_SIZE
1208 lcol: FL_BLACK
1209 label: Dialogs iconify with main window|#i
1210 shortcut:
1211 resize: FL_RESIZE_ALL
1212 gravity: FL_NoGravity FL_NoGravity
1213 name: check_dialogs_iconify_with_main
1214 callback: C_FormBaseDeprecatedInputCB
1215 argument: 0
1216         value: 1
1217
1218 --------------------
1219 class: FL_COUNTER
1220 type: NORMAL_COUNTER
1221 box: 20 235 115 30
1222 boxtype: FL_UP_BOX
1223 colors: FL_COL1 FL_BLUE
1224 alignment: FL_ALIGN_RIGHT
1225 style: FL_NORMAL_STYLE
1226 size: FL_NORMAL_SIZE
1227 lcol: FL_BLACK
1228 label: Wheel mouse jump
1229 shortcut:
1230 resize: FL_RESIZE_ALL
1231 gravity: FL_NoGravity FL_NoGravity
1232 name: counter_wm_jump
1233 callback: C_FormBaseDeprecatedInputCB
1234 argument: 0
1235   bounds: 0 250
1236   precision: 0
1237   value: 100
1238   sstep: 1
1239
1240 --------------------
1241 class: FL_COUNTER
1242 type: NORMAL_COUNTER
1243 box: 20 270 115 30
1244 boxtype: FL_UP_BOX
1245 colors: FL_COL1 FL_BLUE
1246 alignment: FL_ALIGN_RIGHT
1247 style: FL_NORMAL_STYLE
1248 size: FL_NORMAL_SIZE
1249 lcol: FL_BLACK
1250 label: Autosave interval
1251 shortcut:
1252 resize: FL_RESIZE_ALL
1253 gravity: FL_NoGravity FL_NoGravity
1254 name: counter_autosave
1255 callback: C_FormBaseDeprecatedInputCB
1256 argument: 0
1257   bounds: 0 1200
1258   precision: 0
1259   value: 300
1260   sstep: 1
1261
1262 --------------------
1263 class: FL_BEGIN_GROUP
1264 type: 0
1265 box: 0 10 10 0
1266 boxtype: FL_NO_BOX
1267 colors: FL_COL1 FL_MCOL
1268 alignment: FL_ALIGN_CENTER
1269 style: FL_NORMAL_STYLE
1270 size: FL_DEFAULT_SIZE
1271 lcol: FL_BLACK
1272 label:
1273 shortcut:
1274 resize: FL_RESIZE_ALL
1275 gravity: FL_NoGravity FL_NoGravity
1276 name:
1277 callback:
1278 argument:
1279
1280 --------------------
1281 class: FL_ROUND3DBUTTON
1282 type: RADIO_BUTTON
1283 box: 285 35 30 30
1284 boxtype: FL_NO_BOX
1285 colors: FL_COL1 FL_YELLOW
1286 alignment: FL_ALIGN_CENTER
1287 style: FL_NORMAL_STYLE
1288 size: FL_DEFAULT_SIZE
1289 lcol: FL_BLACK
1290 label: in Monochrome|#M
1291 shortcut:
1292 resize: FL_RESIZE_ALL
1293 gravity: FL_NoGravity FL_NoGravity
1294 name: radio_display_monochrome
1295 callback: C_FormBaseDeprecatedInputCB
1296 argument: 0
1297         value: 1
1298
1299 --------------------
1300 class: FL_ROUND3DBUTTON
1301 type: RADIO_BUTTON
1302 box: 285 65 30 30
1303 boxtype: FL_NO_BOX
1304 colors: FL_COL1 FL_YELLOW
1305 alignment: FL_ALIGN_CENTER
1306 style: FL_NORMAL_STYLE
1307 size: FL_DEFAULT_SIZE
1308 lcol: FL_BLACK
1309 label: in Grayscale|#G
1310 shortcut:
1311 resize: FL_RESIZE_ALL
1312 gravity: FL_NoGravity FL_NoGravity
1313 name: radio_display_grayscale
1314 callback: C_FormBaseDeprecatedInputCB
1315 argument: 0
1316
1317 --------------------
1318 class: FL_ROUND3DBUTTON
1319 type: RADIO_BUTTON
1320 box: 285 95 30 30
1321 boxtype: FL_NO_BOX
1322 colors: FL_COL1 FL_YELLOW
1323 alignment: FL_ALIGN_CENTER
1324 style: FL_NORMAL_STYLE
1325 size: FL_DEFAULT_SIZE
1326 lcol: FL_BLACK
1327 label: in Color|#C
1328 shortcut:
1329 resize: FL_RESIZE_ALL
1330 gravity: FL_NoGravity FL_NoGravity
1331 name: radio_display_color
1332 callback: C_FormBaseDeprecatedInputCB
1333 argument: 0
1334
1335 --------------------
1336 class: FL_ROUND3DBUTTON
1337 type: RADIO_BUTTON
1338 box: 285 125 30 30
1339 boxtype: FL_NO_BOX
1340 colors: FL_COL1 FL_YELLOW
1341 alignment: FL_ALIGN_CENTER
1342 style: FL_NORMAL_STYLE
1343 size: FL_DEFAULT_SIZE
1344 lcol: FL_BLACK
1345 label: Don't display|#D
1346 shortcut:
1347 resize: FL_RESIZE_ALL
1348 gravity: FL_NoGravity FL_NoGravity
1349 name: radio_no_display
1350 callback: C_FormBaseDeprecatedInputCB
1351 argument: 0
1352
1353 --------------------
1354 class: FL_END_GROUP
1355 type: 0
1356 box: 0 0 0 0
1357 boxtype: FL_NO_BOX
1358 colors: FL_COL1 FL_MCOL
1359 alignment: FL_ALIGN_CENTER
1360 style: FL_NORMAL_STYLE
1361 size: FL_DEFAULT_SIZE
1362 lcol: FL_BLACK
1363 label:
1364 shortcut:
1365 resize: FL_RESIZE_ALL
1366 gravity: FL_NoGravity FL_NoGravity
1367 name:
1368 callback:
1369 argument:
1370
1371 --------------------
1372 class: FL_LABELFRAME
1373 type: ENGRAVED_FRAME
1374 box: 275 15 160 210
1375 boxtype: FL_NO_BOX
1376 colors: FL_BLACK FL_COL1
1377 alignment: FL_ALIGN_TOP_LEFT
1378 style: FL_NORMAL_STYLE
1379 size: FL_DEFAULT_SIZE
1380 lcol: FL_BLACK
1381 label: Display Graphics
1382 shortcut:
1383 resize: FL_RESIZE_ALL
1384 gravity: FL_NoGravity FL_NoGravity
1385 name:
1386 callback:
1387 argument:
1388
1389 --------------------
1390 class: FL_FRAME
1391 type: ENGRAVED_FRAME
1392 box: 15 230 420 75
1393 boxtype: FL_NO_BOX
1394 colors: FL_BLACK FL_COL1
1395 alignment: FL_ALIGN_CENTER
1396 style: FL_NORMAL_STYLE
1397 size: FL_DEFAULT_SIZE
1398 lcol: FL_BLACK
1399 label:
1400 shortcut:
1401 resize: FL_RESIZE_ALL
1402 gravity: FL_NoGravity FL_NoGravity
1403 name:
1404 callback:
1405 argument:
1406
1407 --------------------
1408 class: FL_CHECKBUTTON
1409 type: PUSH_BUTTON
1410 box: 15 185 30 30
1411 boxtype: FL_NO_BOX
1412 colors: FL_COL1 FL_YELLOW
1413 alignment: FL_ALIGN_CENTER
1414 style: FL_NORMAL_STYLE
1415 size: FL_NORMAL_SIZE
1416 lcol: FL_BLACK
1417 label: Instant Preview|#P
1418 shortcut:
1419 resize: FL_RESIZE_ALL
1420 gravity: FL_NoGravity FL_NoGravity
1421 name: check_preview_latex
1422 callback: C_FormBaseDeprecatedInputCB
1423 argument: 0
1424         value: 1
1425
1426 =============== FORM ===============
1427 Name: form_preferences_spelloptions
1428 Width: 450
1429 Height: 360
1430 Number of Objects: 14
1431
1432 --------------------
1433 class: FL_BOX
1434 type: FLAT_BOX
1435 box: 0 0 450 360
1436 boxtype: FL_FLAT_BOX
1437 colors: FL_COL1 FL_COL1
1438 alignment: FL_ALIGN_CENTER
1439 style: FL_NORMAL_STYLE
1440 size: FL_DEFAULT_SIZE
1441 lcol: FL_BLACK
1442 label:
1443 shortcut:
1444 resize: FL_RESIZE_ALL
1445 gravity: FL_NoGravity FL_NoGravity
1446 name:
1447 callback:
1448 argument:
1449
1450 --------------------
1451 class: FL_CHOICE
1452 type: NORMAL_CHOICE
1453 box: 240 30 171 34
1454 boxtype: FL_FRAME_BOX
1455 colors: FL_COL1 FL_BLACK
1456 alignment: FL_ALIGN_LEFT
1457 style: FL_NORMAL_STYLE
1458 size: FL_NORMAL_SIZE
1459 lcol: FL_BLACK
1460 label: Spell command|#S
1461 shortcut:
1462 resize: FL_RESIZE_ALL
1463 gravity: FL_NoGravity FL_NoGravity
1464 name: choice_spell_command
1465 callback: C_FormBaseDeprecatedInputCB
1466 argument: 0
1467
1468 --------------------
1469 class: FL_CHECKBUTTON
1470 type: PUSH_BUTTON
1471 box: 208 100 30 30
1472 boxtype: FL_NO_BOX
1473 colors: FL_COL1 FL_YELLOW
1474 alignment: FL_ALIGN_LEFT
1475 style: FL_NORMAL_STYLE
1476 size: FL_NORMAL_SIZE
1477 lcol: FL_BLACK
1478 label: Use alternative language|#a
1479 shortcut:
1480 resize: FL_RESIZE_ALL
1481 gravity: FL_NoGravity FL_NoGravity
1482 name: check_alt_lang
1483 callback: C_FormBaseDeprecatedInputCB
1484 argument: 0
1485
1486 --------------------
1487 class: FL_INPUT
1488 type: NORMAL_INPUT
1489 box: 239 100 170 30
1490 boxtype: FL_DOWN_BOX
1491 colors: FL_COL1 FL_MCOL
1492 alignment: FL_ALIGN_LEFT
1493 style: FL_NORMAL_STYLE
1494 size: FL_DEFAULT_SIZE
1495 lcol: FL_BLACK
1496 label:
1497 shortcut:
1498 resize: FL_RESIZE_ALL
1499 gravity: FL_NoGravity FL_NoGravity
1500 name: input_alt_lang
1501 callback: C_FormBaseDeprecatedInputCB
1502 argument: 0
1503
1504 --------------------
1505 class: FL_CHECKBUTTON
1506 type: PUSH_BUTTON
1507 box: 208 130 30 30
1508 boxtype: FL_NO_BOX
1509 colors: FL_COL1 FL_YELLOW
1510 alignment: FL_ALIGN_LEFT
1511 style: FL_NORMAL_STYLE
1512 size: FL_NORMAL_SIZE
1513 lcol: FL_BLACK
1514 label: Use escape characters|#e
1515 shortcut:
1516 resize: FL_RESIZE_ALL
1517 gravity: FL_NoGravity FL_NoGravity
1518 name: check_escape_chars
1519 callback: C_FormBaseDeprecatedInputCB
1520 argument: 0
1521
1522 --------------------
1523 class: FL_INPUT
1524 type: NORMAL_INPUT
1525 box: 239 130 170 30
1526 boxtype: FL_DOWN_BOX
1527 colors: FL_COL1 FL_MCOL
1528 alignment: FL_ALIGN_LEFT
1529 style: FL_NORMAL_STYLE
1530 size: FL_DEFAULT_SIZE
1531 lcol: FL_BLACK
1532 label:
1533 shortcut:
1534 resize: FL_RESIZE_ALL
1535 gravity: FL_NoGravity FL_NoGravity
1536 name: input_escape_chars
1537 callback: C_FormBaseDeprecatedInputCB
1538 argument: 0
1539
1540 --------------------
1541 class: FL_CHECKBUTTON
1542 type: PUSH_BUTTON
1543 box: 208 160 30 30
1544 boxtype: FL_NO_BOX
1545 colors: FL_COL1 FL_YELLOW
1546 alignment: FL_ALIGN_LEFT
1547 style: FL_NORMAL_STYLE
1548 size: FL_NORMAL_SIZE
1549 lcol: FL_BLACK
1550 label: Use personal dictionary|#d
1551 shortcut:
1552 resize: FL_RESIZE_ALL
1553 gravity: FL_NoGravity FL_NoGravity
1554 name: check_personal_dict
1555 callback: C_FormBaseDeprecatedInputCB
1556 argument: 0
1557
1558 --------------------
1559 class: FL_INPUT
1560 type: NORMAL_INPUT
1561 box: 239 160 170 30
1562 boxtype: FL_DOWN_BOX
1563 colors: FL_COL1 FL_MCOL
1564 alignment: FL_ALIGN_LEFT
1565 style: FL_NORMAL_STYLE
1566 size: FL_DEFAULT_SIZE
1567 lcol: FL_BLACK
1568 label:
1569 shortcut:
1570 resize: FL_RESIZE_ALL
1571 gravity: FL_NoGravity FL_NoGravity
1572 name: input_personal_dict
1573 callback: C_FormBaseDeprecatedInputCB
1574 argument: 0
1575
1576 --------------------
1577 class: FL_BUTTON
1578 type: NORMAL_BUTTON
1579 box: 240 195 100 30
1580 boxtype: FL_UP_BOX
1581 colors: FL_COL1 FL_COL1
1582 alignment: FL_ALIGN_CENTER
1583 style: FL_NORMAL_STYLE
1584 size: FL_NORMAL_SIZE
1585 lcol: FL_BLACK
1586 label: Browse...|#B
1587 shortcut:
1588 resize: FL_RESIZE_ALL
1589 gravity: FL_NoGravity FL_NoGravity
1590 name: button_personal_dict
1591 callback: C_FormBaseDeprecatedInputCB
1592 argument: 0
1593
1594 --------------------
1595 class: FL_CHECKBUTTON
1596 type: PUSH_BUTTON
1597 box: 155 250 30 30
1598 boxtype: FL_NO_BOX
1599 colors: FL_COL1 FL_YELLOW
1600 alignment: FL_ALIGN_RIGHT
1601 style: FL_NORMAL_STYLE
1602 size: FL_NORMAL_SIZE
1603 lcol: FL_BLACK
1604 label: Accept compound words|#w
1605 shortcut:
1606 resize: FL_RESIZE_ALL
1607 gravity: FL_NoGravity FL_NoGravity
1608 name: check_compound_words
1609 callback: C_FormBaseDeprecatedInputCB
1610 argument: 0
1611
1612 --------------------
1613 class: FL_CHECKBUTTON
1614 type: PUSH_BUTTON
1615 box: 155 275 30 30
1616 boxtype: FL_NO_BOX
1617 colors: FL_COL1 FL_YELLOW
1618 alignment: FL_ALIGN_RIGHT
1619 style: FL_NORMAL_STYLE
1620 size: FL_NORMAL_SIZE
1621 lcol: FL_BLACK
1622 label: Use input encoding|#i
1623 shortcut:
1624 resize: FL_RESIZE_ALL
1625 gravity: FL_NoGravity FL_NoGravity
1626 name: check_input_enc
1627 callback: C_FormBaseDeprecatedInputCB
1628 argument: 0
1629
1630 --------------------
1631 class: FL_LABELFRAME
1632 type: ENGRAVED_FRAME
1633 box: 15 245 425 60
1634 boxtype: FL_NO_BOX
1635 colors: FL_BLACK FL_COL1
1636 alignment: FL_ALIGN_TOP_LEFT
1637 style: FL_NORMAL_STYLE
1638 size: FL_DEFAULT_SIZE
1639 lcol: FL_BLACK
1640 label: Advanced Options
1641 shortcut:
1642 resize: FL_RESIZE_ALL
1643 gravity: FL_NoGravity FL_NoGravity
1644 name:
1645 callback:
1646 argument:
1647
1648 --------------------
1649 class: FL_LABELFRAME
1650 type: ENGRAVED_FRAME
1651 box: 15 20 425 55
1652 boxtype: FL_NO_BOX
1653 colors: FL_BLACK FL_COL1
1654 alignment: FL_ALIGN_TOP_LEFT
1655 style: FL_NORMAL_STYLE
1656 size: FL_DEFAULT_SIZE
1657 lcol: FL_BLACK
1658 label: Interface
1659 shortcut:
1660 resize: FL_RESIZE_ALL
1661 gravity: FL_NoGravity FL_NoGravity
1662 name:
1663 callback:
1664 argument:
1665
1666 --------------------
1667 class: FL_LABELFRAME
1668 type: ENGRAVED_FRAME
1669 box: 15 90 425 140
1670 boxtype: FL_NO_BOX
1671 colors: FL_BLACK FL_COL1
1672 alignment: FL_ALIGN_TOP_LEFT
1673 style: FL_NORMAL_STYLE
1674 size: FL_DEFAULT_SIZE
1675 lcol: FL_BLACK
1676 label: Language Options
1677 shortcut:
1678 resize: FL_RESIZE_ALL
1679 gravity: FL_NoGravity FL_NoGravity
1680 name:
1681 callback:
1682 argument:
1683
1684 =============== FORM ===============
1685 Name: form_preferences_language
1686 Width: 450
1687 Height: 360
1688 Number of Objects: 20
1689
1690 --------------------
1691 class: FL_BOX
1692 type: FLAT_BOX
1693 box: 0 0 450 360
1694 boxtype: FL_FLAT_BOX
1695 colors: FL_COL1 FL_COL1
1696 alignment: FL_ALIGN_CENTER
1697 style: FL_NORMAL_STYLE
1698 size: FL_DEFAULT_SIZE
1699 lcol: FL_BLACK
1700 label:
1701 shortcut:
1702 resize: FL_RESIZE_ALL
1703 gravity: FL_NoGravity FL_NoGravity
1704 name:
1705 callback:
1706 argument:
1707
1708 --------------------
1709 class: FL_FRAME
1710 type: ENGRAVED_FRAME
1711 box: 5 10 440 80
1712 boxtype: FL_NO_BOX
1713 colors: FL_BLACK FL_COL1
1714 alignment: FL_ALIGN_CENTER
1715 style: FL_NORMAL_STYLE
1716 size: FL_DEFAULT_SIZE
1717 lcol: FL_BLACK
1718 label:
1719 shortcut:
1720 resize: FL_RESIZE_ALL
1721 gravity: FL_NoGravity FL_NoGravity
1722 name:
1723 callback:
1724 argument:
1725
1726 --------------------
1727 class: FL_INPUT
1728 type: NORMAL_INPUT
1729 box: 131 18 300 30
1730 boxtype: FL_DOWN_BOX
1731 colors: FL_COL1 FL_MCOL
1732 alignment: FL_ALIGN_LEFT
1733 style: FL_NORMAL_STYLE
1734 size: FL_NORMAL_SIZE
1735 lcol: FL_BLACK
1736 label: Package|#P
1737 shortcut:
1738 resize: FL_RESIZE_ALL
1739 gravity: FL_NoGravity FL_NoGravity
1740 name: input_package
1741 callback: C_FormBaseDeprecatedInputCB
1742 argument: 0
1743
1744 --------------------
1745 class: FL_CHOICE
1746 type: NORMAL_CHOICE
1747 box: 231 56 200 30
1748 boxtype: FL_FRAME_BOX
1749 colors: FL_COL1 FL_BLACK
1750 alignment: FL_ALIGN_LEFT
1751 style: FL_NORMAL_STYLE
1752 size: FL_DEFAULT_SIZE
1753 lcol: FL_BLACK
1754 label: Default language|#l
1755 shortcut:
1756 resize: FL_RESIZE_ALL
1757 gravity: FL_NoGravity FL_NoGravity
1758 name: choice_default_lang
1759 callback: C_FormBaseDeprecatedInputCB
1760 argument: 0
1761
1762 --------------------
1763 class: FL_CHECKBUTTON
1764 type: PUSH_BUTTON
1765 box: 78 113 30 30
1766 boxtype: FL_NO_BOX
1767 colors: FL_COL1 FL_YELLOW
1768 alignment: FL_ALIGN_LEFT
1769 style: FL_NORMAL_STYLE
1770 size: FL_NORMAL_SIZE
1771 lcol: FL_BLACK
1772 label: Keyboard\nmap|#K
1773 shortcut:
1774 resize: FL_RESIZE_ALL
1775 gravity: FL_NoGravity FL_NoGravity
1776 name: check_use_kbmap
1777 callback: C_FormBaseDeprecatedInputCB
1778 argument: 0
1779
1780 --------------------
1781 class: FL_INPUT
1782 type: NORMAL_INPUT
1783 box: 145 100 190 30
1784 boxtype: FL_DOWN_BOX
1785 colors: FL_COL1 FL_MCOL
1786 alignment: FL_ALIGN_LEFT
1787 style: FL_NORMAL_STYLE
1788 size: FL_NORMAL_SIZE
1789 lcol: FL_BLACK
1790 label: 1st|#1
1791 shortcut:
1792 resize: FL_RESIZE_ALL
1793 gravity: FL_NoGravity FL_NoGravity
1794 name: input_kbmap1
1795 callback: C_FormBaseDeprecatedInputCB
1796 argument: 0
1797
1798 --------------------
1799 class: FL_INPUT
1800 type: NORMAL_INPUT
1801 box: 145 135 190 30
1802 boxtype: FL_DOWN_BOX
1803 colors: FL_COL1 FL_MCOL
1804 alignment: FL_ALIGN_LEFT
1805 style: FL_NORMAL_STYLE
1806 size: FL_NORMAL_SIZE
1807 lcol: FL_BLACK
1808 label: 2nd|#2
1809 shortcut:
1810 resize: FL_RESIZE_ALL
1811 gravity: FL_NoGravity FL_NoGravity
1812 name: input_kbmap2
1813 callback: C_FormBaseDeprecatedInputCB
1814 argument: 0
1815
1816 --------------------
1817 class: FL_BUTTON
1818 type: NORMAL_BUTTON
1819 box: 340 100 100 30
1820 boxtype: FL_UP_BOX
1821 colors: FL_COL1 FL_COL1
1822 alignment: FL_ALIGN_CENTER
1823 style: FL_NORMAL_STYLE
1824 size: FL_DEFAULT_SIZE
1825 lcol: FL_BLACK
1826 label: Browse...|#o
1827 shortcut:
1828 resize: FL_RESIZE_ALL
1829 gravity: FL_NoGravity FL_NoGravity
1830 name: button_kbmap1_browse
1831 callback: C_FormBaseDeprecatedInputCB
1832 argument: 0
1833
1834 --------------------
1835 class: FL_BUTTON
1836 type: NORMAL_BUTTON
1837 box: 340 135 100 30
1838 boxtype: FL_UP_BOX
1839 colors: FL_COL1 FL_COL1
1840 alignment: FL_ALIGN_CENTER
1841 style: FL_NORMAL_STYLE
1842 size: FL_DEFAULT_SIZE
1843 lcol: FL_BLACK
1844 label: Browse...|#w
1845 shortcut:
1846 resize: FL_RESIZE_ALL
1847 gravity: FL_NoGravity FL_NoGravity
1848 name: button_kbmap2_browse
1849 callback: C_FormBaseDeprecatedInputCB
1850 argument: 0
1851
1852 --------------------
1853 class: FL_CHECKBUTTON
1854 type: PUSH_BUTTON
1855 box: 140 175 30 30
1856 boxtype: FL_NO_BOX
1857 colors: FL_COL1 FL_YELLOW
1858 alignment: FL_ALIGN_LEFT
1859 style: FL_NORMAL_STYLE
1860 size: FL_NORMAL_SIZE
1861 lcol: FL_BLACK
1862 label: RtL support|#R
1863 shortcut:
1864 resize: FL_RESIZE_ALL
1865 gravity: FL_NoGravity FL_NoGravity
1866 name: check_rtl_support
1867 callback: C_FormBaseDeprecatedInputCB
1868 argument: 0
1869
1870 --------------------
1871 class: FL_CHECKBUTTON
1872 type: PUSH_BUTTON
1873 box: 265 175 30 30
1874 boxtype: FL_NO_BOX
1875 colors: FL_COL1 FL_YELLOW
1876 alignment: FL_ALIGN_LEFT
1877 style: FL_NORMAL_STYLE
1878 size: FL_NORMAL_SIZE
1879 lcol: FL_BLACK
1880 label: Auto begin|#b
1881 shortcut:
1882 resize: FL_RESIZE_ALL
1883 gravity: FL_NoGravity FL_NoGravity
1884 name: check_auto_begin
1885 callback: C_FormBaseDeprecatedInputCB
1886 argument: 0
1887
1888 --------------------
1889 class: FL_CHECKBUTTON
1890 type: PUSH_BUTTON
1891 box: 390 175 30 30
1892 boxtype: FL_NO_BOX
1893 colors: FL_COL1 FL_YELLOW
1894 alignment: FL_ALIGN_LEFT
1895 style: FL_NORMAL_STYLE
1896 size: FL_NORMAL_SIZE
1897 lcol: FL_BLACK
1898 label: Use babel|#U
1899 shortcut:
1900 resize: FL_RESIZE_ALL
1901 gravity: FL_NoGravity FL_NoGravity
1902 name: check_use_babel
1903 callback: C_FormBaseDeprecatedInputCB
1904 argument: 0
1905
1906 --------------------
1907 class: FL_CHECKBUTTON
1908 type: PUSH_BUTTON
1909 box: 140 205 30 30
1910 boxtype: FL_NO_BOX
1911 colors: FL_COL1 FL_YELLOW
1912 alignment: FL_ALIGN_LEFT
1913 style: FL_NORMAL_STYLE
1914 size: FL_NORMAL_SIZE
1915 lcol: FL_BLACK
1916 label: Mark foreign|#M
1917 shortcut:
1918 resize: FL_RESIZE_ALL
1919 gravity: FL_NoGravity FL_NoGravity
1920 name: check_mark_foreign
1921 callback: C_FormBaseDeprecatedInputCB
1922 argument: 0
1923
1924 --------------------
1925 class: FL_CHECKBUTTON
1926 type: PUSH_BUTTON
1927 box: 265 205 30 30
1928 boxtype: FL_NO_BOX
1929 colors: FL_COL1 FL_YELLOW
1930 alignment: FL_ALIGN_LEFT
1931 style: FL_NORMAL_STYLE
1932 size: FL_NORMAL_SIZE
1933 lcol: FL_BLACK
1934 label: Auto finish|#f
1935 shortcut:
1936 resize: FL_RESIZE_ALL
1937 gravity: FL_NoGravity FL_NoGravity
1938 name: check_auto_end
1939 callback: C_FormBaseDeprecatedInputCB
1940 argument: 0
1941
1942 --------------------
1943 class: FL_CHECKBUTTON
1944 type: PUSH_BUTTON
1945 box: 390 205 30 30
1946 boxtype: FL_NO_BOX
1947 colors: FL_COL1 FL_YELLOW
1948 alignment: FL_ALIGN_LEFT
1949 style: FL_NORMAL_STYLE
1950 size: FL_NORMAL_SIZE
1951 lcol: FL_BLACK
1952 label: Global|#G
1953 shortcut:
1954 resize: FL_RESIZE_ALL
1955 gravity: FL_NoGravity FL_NoGravity
1956 name: check_global_options
1957 callback: C_FormBaseDeprecatedInputCB
1958 argument: 0
1959
1960 --------------------
1961 class: FL_INPUT
1962 type: NORMAL_INPUT
1963 box: 130 245 300 30
1964 boxtype: FL_DOWN_BOX
1965 colors: FL_COL1 FL_MCOL
1966 alignment: FL_ALIGN_LEFT
1967 style: FL_NORMAL_STYLE
1968 size: FL_NORMAL_SIZE
1969 lcol: FL_BLACK
1970 label: Command start|#s
1971 shortcut:
1972 resize: FL_RESIZE_ALL
1973 gravity: FL_NoGravity FL_NoGravity
1974 name: input_command_begin
1975 callback: C_FormBaseDeprecatedInputCB
1976 argument: 0
1977
1978 --------------------
1979 class: FL_INPUT
1980 type: NORMAL_INPUT
1981 box: 130 280 300 30
1982 boxtype: FL_DOWN_BOX
1983 colors: FL_COL1 FL_MCOL
1984 alignment: FL_ALIGN_LEFT
1985 style: FL_NORMAL_STYLE
1986 size: FL_NORMAL_SIZE
1987 lcol: FL_BLACK
1988 label: Command end|#e
1989 shortcut:
1990 resize: FL_RESIZE_ALL
1991 gravity: FL_NoGravity FL_NoGravity
1992 name: input_command_end
1993 callback: C_FormBaseDeprecatedInputCB
1994 argument: 0
1995
1996 --------------------
1997 class: FL_FRAME
1998 type: ENGRAVED_FRAME
1999 box: 5 175 440 60
2000 boxtype: FL_NO_BOX
2001 colors: FL_BLACK FL_COL1
2002 alignment: FL_ALIGN_CENTER
2003 style: FL_NORMAL_STYLE
2004 size: FL_DEFAULT_SIZE
2005 lcol: FL_BLACK
2006 label:
2007 shortcut:
2008 resize: FL_RESIZE_ALL
2009 gravity: FL_NoGravity FL_NoGravity
2010 name:
2011 callback:
2012 argument:
2013
2014 --------------------
2015 class: FL_FRAME
2016 type: ENGRAVED_FRAME
2017 box: 5 240 440 80
2018 boxtype: FL_NO_BOX
2019 colors: FL_BLACK FL_COL1
2020 alignment: FL_ALIGN_CENTER
2021 style: FL_NORMAL_STYLE
2022 size: FL_DEFAULT_SIZE
2023 lcol: FL_BLACK
2024 label:
2025 shortcut:
2026 resize: FL_RESIZE_ALL
2027 gravity: FL_NoGravity FL_NoGravity
2028 name:
2029 callback:
2030 argument:
2031
2032 --------------------
2033 class: FL_FRAME
2034 type: ENGRAVED_FRAME
2035 box: 5 95 440 75
2036 boxtype: FL_NO_BOX
2037 colors: FL_BLACK FL_COL1
2038 alignment: FL_ALIGN_CENTER
2039 style: FL_NORMAL_STYLE
2040 size: FL_DEFAULT_SIZE
2041 lcol: FL_BLACK
2042 label:
2043 shortcut:
2044 resize: FL_RESIZE_ALL
2045 gravity: FL_NoGravity FL_NoGravity
2046 name:
2047 callback:
2048 argument:
2049
2050 =============== FORM ===============
2051 Name: form_preferences_formats
2052 Width: 450
2053 Height: 360
2054 Number of Objects: 9
2055
2056 --------------------
2057 class: FL_BOX
2058 type: FLAT_BOX
2059 box: 0 0 450 360
2060 boxtype: FL_FLAT_BOX
2061 colors: FL_COL1 FL_COL1
2062 alignment: FL_ALIGN_CENTER
2063 style: FL_NORMAL_STYLE
2064 size: FL_DEFAULT_SIZE
2065 lcol: FL_BLACK
2066 label:
2067 shortcut:
2068 resize: FL_RESIZE_ALL
2069 gravity: FL_NoGravity FL_NoGravity
2070 name:
2071 callback:
2072 argument:
2073
2074 --------------------
2075 class: FL_BROWSER
2076 type: HOLD_BROWSER
2077 box: 30 30 160 270
2078 boxtype: FL_DOWN_BOX
2079 colors: FL_COL1 FL_YELLOW
2080 alignment: FL_ALIGN_TOP
2081 style: FL_NORMAL_STYLE
2082 size: FL_NORMAL_SIZE
2083 lcol: FL_BLACK
2084 label: All formats|#l
2085 shortcut:
2086 resize: FL_RESIZE_ALL
2087 gravity: FL_NoGravity FL_NoGravity
2088 name: browser_all
2089 callback: C_FormBaseDeprecatedInputCB
2090 argument: 0
2091
2092 --------------------
2093 class: FL_INPUT
2094 type: NORMAL_INPUT
2095 box: 280 30 150 30
2096 boxtype: FL_DOWN_BOX
2097 colors: FL_COL1 FL_MCOL
2098 alignment: FL_ALIGN_LEFT
2099 style: FL_NORMAL_STYLE
2100 size: FL_NORMAL_SIZE
2101 lcol: FL_BLACK
2102 label: Format|#F
2103 shortcut:
2104 resize: FL_RESIZE_ALL
2105 gravity: FL_NoGravity FL_NoGravity
2106 name: input_format
2107 callback: C_FormBaseDeprecatedInputCB
2108 argument: 0
2109
2110 --------------------
2111 class: FL_INPUT
2112 type: NORMAL_INPUT
2113 box: 280 70 150 30
2114 boxtype: FL_DOWN_BOX
2115 colors: FL_COL1 FL_MCOL
2116 alignment: FL_ALIGN_LEFT
2117 style: FL_NORMAL_STYLE
2118 size: FL_NORMAL_SIZE
2119 lcol: FL_BLACK
2120 label: GUI name|#G
2121 shortcut:
2122 resize: FL_RESIZE_ALL
2123 gravity: FL_NoGravity FL_NoGravity
2124 name: input_gui_name
2125 callback: C_FormBaseDeprecatedInputCB
2126 argument: 0
2127
2128 --------------------
2129 class: FL_INPUT
2130 type: NORMAL_INPUT
2131 box: 280 110 150 30
2132 boxtype: FL_DOWN_BOX
2133 colors: FL_COL1 FL_MCOL
2134 alignment: FL_ALIGN_LEFT
2135 style: FL_NORMAL_STYLE
2136 size: FL_NORMAL_SIZE
2137 lcol: FL_BLACK
2138 label: Shortcut|#S
2139 shortcut:
2140 resize: FL_RESIZE_ALL
2141 gravity: FL_NoGravity FL_NoGravity
2142 name: input_shrtcut
2143 callback: C_FormBaseDeprecatedInputCB
2144 argument: 0
2145
2146 --------------------
2147 class: FL_INPUT
2148 type: NORMAL_INPUT
2149 box: 280 150 150 30
2150 boxtype: FL_DOWN_BOX
2151 colors: FL_COL1 FL_MCOL
2152 alignment: FL_ALIGN_LEFT
2153 style: FL_NORMAL_STYLE
2154 size: FL_NORMAL_SIZE
2155 lcol: FL_BLACK
2156 label: Extension|#E
2157 shortcut:
2158 resize: FL_RESIZE_ALL
2159 gravity: FL_NoGravity FL_NoGravity
2160 name: input_extension
2161 callback: C_FormBaseDeprecatedInputCB
2162 argument: 0
2163
2164 --------------------
2165 class: FL_INPUT
2166 type: NORMAL_INPUT
2167 box: 280 190 150 30
2168 boxtype: FL_DOWN_BOX
2169 colors: FL_COL1 FL_MCOL
2170 alignment: FL_ALIGN_LEFT
2171 style: FL_NORMAL_STYLE
2172 size: FL_NORMAL_SIZE
2173 lcol: FL_BLACK
2174 label: Viewer|#V
2175 shortcut:
2176 resize: FL_RESIZE_ALL
2177 gravity: FL_NoGravity FL_NoGravity
2178 name: input_viewer
2179 callback: C_FormBaseDeprecatedInputCB
2180 argument: 0
2181
2182 --------------------
2183 class: FL_BUTTON
2184 type: NORMAL_BUTTON
2185 box: 240 270 90 30
2186 boxtype: FL_UP_BOX
2187 colors: FL_COL1 FL_COL1
2188 alignment: FL_ALIGN_CENTER
2189 style: FL_NORMAL_STYLE
2190 size: FL_NORMAL_SIZE
2191 lcol: FL_BLACK
2192 label: Add|#A
2193 shortcut:
2194 resize: FL_RESIZE_ALL
2195 gravity: FL_NoGravity FL_NoGravity
2196 name: button_add
2197 callback: C_FormBaseDeprecatedInputCB
2198 argument: 0
2199
2200 --------------------
2201 class: FL_BUTTON
2202 type: NORMAL_BUTTON
2203 box: 340 270 90 30
2204 boxtype: FL_UP_BOX
2205 colors: FL_COL1 FL_COL1
2206 alignment: FL_ALIGN_CENTER
2207 style: FL_NORMAL_STYLE
2208 size: FL_NORMAL_SIZE
2209 lcol: FL_BLACK
2210 label: Delete|#D
2211 shortcut:
2212 resize: FL_RESIZE_ALL
2213 gravity: FL_NoGravity FL_NoGravity
2214 name: button_delete
2215 callback: C_FormBaseDeprecatedInputCB
2216 argument: 0
2217
2218 =============== FORM ===============
2219 Name: form_preferences_converters
2220 Width: 450
2221 Height: 360
2222 Number of Objects: 8
2223
2224 --------------------
2225 class: FL_BOX
2226 type: FLAT_BOX
2227 box: 0 0 450 360
2228 boxtype: FL_FLAT_BOX
2229 colors: FL_COL1 FL_COL1
2230 alignment: FL_ALIGN_CENTER
2231 style: FL_NORMAL_STYLE
2232 size: FL_DEFAULT_SIZE
2233 lcol: FL_BLACK
2234 label:
2235 shortcut:
2236 resize: FL_RESIZE_ALL
2237 gravity: FL_NoGravity FL_NoGravity
2238 name:
2239 callback:
2240 argument:
2241
2242 --------------------
2243 class: FL_BROWSER
2244 type: HOLD_BROWSER
2245 box: 30 30 160 270
2246 boxtype: FL_DOWN_BOX
2247 colors: FL_COL1 FL_YELLOW
2248 alignment: FL_ALIGN_TOP
2249 style: FL_NORMAL_STYLE
2250 size: FL_NORMAL_SIZE
2251 lcol: FL_BLACK
2252 label: All converters|#l
2253 shortcut:
2254 resize: FL_RESIZE_ALL
2255 gravity: FL_NoGravity FL_NoGravity
2256 name: browser_all
2257 callback: C_FormBaseDeprecatedInputCB
2258 argument: 0
2259
2260 --------------------
2261 class: FL_CHOICE
2262 type: NORMAL_CHOICE
2263 box: 280 30 150 30
2264 boxtype: FL_FRAME_BOX
2265 colors: FL_COL1 FL_BLACK
2266 alignment: FL_ALIGN_LEFT
2267 style: FL_NORMAL_STYLE
2268 size: FL_DEFAULT_SIZE
2269 lcol: FL_BLACK
2270 label: From|#F
2271 shortcut:
2272 resize: FL_RESIZE_ALL
2273 gravity: FL_NoGravity FL_NoGravity
2274 name: choice_from
2275 callback: C_FormBaseDeprecatedInputCB
2276 argument: 0
2277
2278 --------------------
2279 class: FL_CHOICE
2280 type: NORMAL_CHOICE
2281 box: 280 70 150 30
2282 boxtype: FL_FRAME_BOX
2283 colors: FL_COL1 FL_BLACK
2284 alignment: FL_ALIGN_LEFT
2285 style: FL_NORMAL_STYLE
2286 size: FL_DEFAULT_SIZE
2287 lcol: FL_BLACK
2288 label: To|#T
2289 shortcut:
2290 resize: FL_RESIZE_ALL
2291 gravity: FL_NoGravity FL_NoGravity
2292 name: choice_to
2293 callback: C_FormBaseDeprecatedInputCB
2294 argument: 0
2295
2296 --------------------
2297 class: FL_INPUT
2298 type: NORMAL_INPUT
2299 box: 280 110 150 30
2300 boxtype: FL_DOWN_BOX
2301 colors: FL_COL1 FL_MCOL
2302 alignment: FL_ALIGN_LEFT
2303 style: FL_NORMAL_STYLE
2304 size: FL_NORMAL_SIZE
2305 lcol: FL_BLACK
2306 label: Converter|#C
2307 shortcut:
2308 resize: FL_RESIZE_ALL
2309 gravity: FL_NoGravity FL_NoGravity
2310 name: input_converter
2311 callback: C_FormBaseDeprecatedInputCB
2312 argument: 0
2313
2314 --------------------
2315 class: FL_INPUT
2316 type: NORMAL_INPUT
2317 box: 280 150 150 30
2318 boxtype: FL_DOWN_BOX
2319 colors: FL_COL1 FL_MCOL
2320 alignment: FL_ALIGN_LEFT
2321 style: FL_NORMAL_STYLE
2322 size: FL_NORMAL_SIZE
2323 lcol: FL_BLACK
2324 label: Extra flags|#E
2325 shortcut:
2326 resize: FL_RESIZE_ALL
2327 gravity: FL_NoGravity FL_NoGravity
2328 name: input_flags
2329 callback: C_FormBaseDeprecatedInputCB
2330 argument: 0
2331
2332 --------------------
2333 class: FL_BUTTON
2334 type: NORMAL_BUTTON
2335 box: 240 270 90 30
2336 boxtype: FL_UP_BOX
2337 colors: FL_COL1 FL_COL1
2338 alignment: FL_ALIGN_CENTER
2339 style: FL_NORMAL_STYLE
2340 size: FL_NORMAL_SIZE
2341 lcol: FL_BLACK
2342 label: Add|#A
2343 shortcut:
2344 resize: FL_RESIZE_ALL
2345 gravity: FL_NoGravity FL_NoGravity
2346 name: button_add
2347 callback: C_FormBaseDeprecatedInputCB
2348 argument: 0
2349
2350 --------------------
2351 class: FL_BUTTON
2352 type: NORMAL_BUTTON
2353 box: 340 270 90 30
2354 boxtype: FL_UP_BOX
2355 colors: FL_COL1 FL_COL1
2356 alignment: FL_ALIGN_CENTER
2357 style: FL_NORMAL_STYLE
2358 size: FL_NORMAL_SIZE
2359 lcol: FL_BLACK
2360 label: Delete|#D
2361 shortcut:
2362 resize: FL_RESIZE_ALL
2363 gravity: FL_NoGravity FL_NoGravity
2364 name: button_delete
2365 callback: C_FormBaseDeprecatedInputCB
2366 argument: 0
2367
2368 =============== FORM ===============
2369 Name: form_preferences_paths
2370 Width: 450
2371 Height: 350
2372 Number of Objects: 17
2373
2374 --------------------
2375 class: FL_BOX
2376 type: FLAT_BOX
2377 box: 0 0 450 350
2378 boxtype: FL_FLAT_BOX
2379 colors: FL_COL1 FL_COL1
2380 alignment: FL_ALIGN_CENTER
2381 style: FL_NORMAL_STYLE
2382 size: FL_DEFAULT_SIZE
2383 lcol: FL_BLACK
2384 label:
2385 shortcut:
2386 resize: FL_RESIZE_ALL
2387 gravity: FL_NoGravity FL_NoGravity
2388 name:
2389 callback:
2390 argument:
2391
2392 --------------------
2393 class: FL_INPUT
2394 type: NORMAL_INPUT
2395 box: 170 10 170 30
2396 boxtype: FL_DOWN_BOX
2397 colors: FL_COL1 FL_MCOL
2398 alignment: FL_ALIGN_LEFT
2399 style: FL_NORMAL_STYLE
2400 size: FL_NORMAL_SIZE
2401 lcol: FL_BLACK
2402 label: Default path|#p
2403 shortcut:
2404 resize: FL_RESIZE_ALL
2405 gravity: FL_NoGravity FL_NoGravity
2406 name: input_default_path
2407 callback: C_FormBaseDeprecatedInputCB
2408 argument: 0
2409
2410 --------------------
2411 class: FL_BUTTON
2412 type: NORMAL_BUTTON
2413 box: 345 10 100 30
2414 boxtype: FL_UP_BOX
2415 colors: FL_COL1 FL_COL1
2416 alignment: FL_ALIGN_CENTER
2417 style: FL_NORMAL_STYLE
2418 size: FL_NORMAL_SIZE
2419 lcol: FL_BLACK
2420 label: Browse...
2421 shortcut:
2422 resize: FL_RESIZE_ALL
2423 gravity: FL_NoGravity FL_NoGravity
2424 name: button_default_path_browse
2425 callback: C_FormBaseDeprecatedInputCB
2426 argument: 0
2427
2428 --------------------
2429 class: FL_INPUT
2430 type: NORMAL_INPUT
2431 box: 170 45 170 30
2432 boxtype: FL_DOWN_BOX
2433 colors: FL_COL1 FL_MCOL
2434 alignment: FL_ALIGN_LEFT
2435 style: FL_NORMAL_STYLE
2436 size: FL_NORMAL_SIZE
2437 lcol: FL_BLACK
2438 label: Template path|#T
2439 shortcut:
2440 resize: FL_RESIZE_ALL
2441 gravity: FL_NoGravity FL_NoGravity
2442 name: input_template_path
2443 callback: C_FormBaseDeprecatedInputCB
2444 argument: 0
2445
2446 --------------------
2447 class: FL_BUTTON
2448 type: NORMAL_BUTTON
2449 box: 345 45 100 30
2450 boxtype: FL_UP_BOX
2451 colors: FL_COL1 FL_COL1
2452 alignment: FL_ALIGN_CENTER
2453 style: FL_NORMAL_STYLE
2454 size: FL_NORMAL_SIZE
2455 lcol: FL_BLACK
2456 label: Browse...
2457 shortcut:
2458 resize: FL_RESIZE_ALL
2459 gravity: FL_NoGravity FL_NoGravity
2460 name: button_template_path_browse
2461 callback: C_FormBaseDeprecatedInputCB
2462 argument: 0
2463
2464 --------------------
2465 class: FL_CHECKBUTTON
2466 type: PUSH_BUTTON
2467 box: 140 80 30 30
2468 boxtype: FL_NO_BOX
2469 colors: FL_COL1 FL_YELLOW
2470 alignment: FL_ALIGN_LEFT
2471 style: FL_NORMAL_STYLE
2472 size: FL_NORMAL_SIZE
2473 lcol: FL_BLACK
2474 label: Temp dir|#d
2475 shortcut:
2476 resize: FL_RESIZE_ALL
2477 gravity: FL_NoGravity FL_NoGravity
2478 name: check_use_temp_dir
2479 callback: C_FormBaseDeprecatedInputCB
2480 argument: 0
2481         value: 1
2482
2483 --------------------
2484 class: FL_INPUT
2485 type: NORMAL_INPUT
2486 box: 170 80 170 30
2487 boxtype: FL_DOWN_BOX
2488 colors: FL_COL1 FL_MCOL
2489 alignment: FL_ALIGN_LEFT
2490 style: FL_NORMAL_STYLE
2491 size: FL_NORMAL_SIZE
2492 lcol: FL_BLACK
2493 label:
2494 shortcut:
2495 resize: FL_RESIZE_ALL
2496 gravity: FL_NoGravity FL_NoGravity
2497 name: input_temp_dir
2498 callback: C_FormBaseDeprecatedInputCB
2499 argument: 0
2500
2501 --------------------
2502 class: FL_BUTTON
2503 type: NORMAL_BUTTON
2504 box: 345 80 100 30
2505 boxtype: FL_UP_BOX
2506 colors: FL_COL1 FL_COL1
2507 alignment: FL_ALIGN_CENTER
2508 style: FL_NORMAL_STYLE
2509 size: FL_NORMAL_SIZE
2510 lcol: FL_BLACK
2511 label: Browse...
2512 shortcut:
2513 resize: FL_RESIZE_ALL
2514 gravity: FL_NoGravity FL_NoGravity
2515 name: button_temp_dir_browse
2516 callback: C_FormBaseDeprecatedInputCB
2517 argument: 0
2518
2519 --------------------
2520 class: FL_CHECKBUTTON
2521 type: PUSH_BUTTON
2522 box: 140 115 30 30
2523 boxtype: FL_NO_BOX
2524 colors: FL_COL1 FL_YELLOW
2525 alignment: FL_ALIGN_LEFT
2526 style: FL_NORMAL_STYLE
2527 size: FL_NORMAL_SIZE
2528 lcol: FL_BLACK
2529 label: Check last files|#C
2530 shortcut:
2531 resize: FL_RESIZE_ALL
2532 gravity: FL_NoGravity FL_NoGravity
2533 name: check_last_files
2534 callback: C_FormBaseDeprecatedInputCB
2535 argument: 0
2536         value: 1
2537
2538 --------------------
2539 class: FL_INPUT
2540 type: NORMAL_INPUT
2541 box: 170 115 170 30
2542 boxtype: FL_DOWN_BOX
2543 colors: FL_COL1 FL_MCOL
2544 alignment: FL_ALIGN_LEFT
2545 style: FL_NORMAL_STYLE
2546 size: FL_NORMAL_SIZE
2547 lcol: FL_BLACK
2548 label:
2549 shortcut:
2550 resize: FL_RESIZE_ALL
2551 gravity: FL_NoGravity FL_NoGravity
2552 name: input_lastfiles
2553 callback: C_FormBaseDeprecatedInputCB
2554 argument: 0
2555
2556 --------------------
2557 class: FL_BUTTON
2558 type: NORMAL_BUTTON
2559 box: 345 115 100 30
2560 boxtype: FL_UP_BOX
2561 colors: FL_COL1 FL_COL1
2562 alignment: FL_ALIGN_CENTER
2563 style: FL_NORMAL_STYLE
2564 size: FL_NORMAL_SIZE
2565 lcol: FL_BLACK
2566 label: Browse...
2567 shortcut:
2568 resize: FL_RESIZE_ALL
2569 gravity: FL_NoGravity FL_NoGravity
2570 name: button_lastfiles_browse
2571 callback: C_FormBaseDeprecatedInputCB
2572 argument: 0
2573
2574 --------------------
2575 class: FL_COUNTER
2576 type: SIMPLE_COUNTER
2577 box: 170 150 90 30
2578 boxtype: FL_UP_BOX
2579 colors: FL_COL1 FL_BLUE
2580 alignment: FL_ALIGN_LEFT
2581 style: FL_NORMAL_STYLE
2582 size: FL_NORMAL_SIZE
2583 lcol: FL_BLACK
2584 label: Last file count|#L
2585 shortcut:
2586 resize: FL_RESIZE_ALL
2587 gravity: FL_NoGravity FL_NoGravity
2588 name: counter_lastfiles
2589 callback: C_FormBaseDeprecatedInputCB
2590 argument: 0
2591   bounds: 0 9
2592   precision: 0
2593   value: 4
2594   sstep: 1
2595
2596 --------------------
2597 class: FL_CHECKBUTTON
2598 type: PUSH_BUTTON
2599 box: 140 205 30 30
2600 boxtype: FL_NO_BOX
2601 colors: FL_COL1 FL_YELLOW
2602 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2603 style: FL_NORMAL_STYLE
2604 size: FL_NORMAL_SIZE
2605 lcol: FL_BLACK
2606 label: Backup path|#B
2607 shortcut:
2608 resize: FL_RESIZE_ALL
2609 gravity: FL_NoGravity FL_NoGravity
2610 name: check_make_backups
2611 callback: C_FormBaseDeprecatedInputCB
2612 argument: 0
2613         value: 1
2614
2615 --------------------
2616 class: FL_INPUT
2617 type: NORMAL_INPUT
2618 box: 170 205 170 30
2619 boxtype: FL_DOWN_BOX
2620 colors: FL_COL1 FL_MCOL
2621 alignment: FL_ALIGN_LEFT
2622 style: FL_NORMAL_STYLE
2623 size: FL_NORMAL_SIZE
2624 lcol: FL_BLACK
2625 label:
2626 shortcut:
2627 resize: FL_RESIZE_ALL
2628 gravity: FL_NoGravity FL_NoGravity
2629 name: input_backup_path
2630 callback: C_FormBaseDeprecatedInputCB
2631 argument: 0
2632
2633 --------------------
2634 class: FL_BUTTON
2635 type: NORMAL_BUTTON
2636 box: 345 205 100 30
2637 boxtype: FL_UP_BOX
2638 colors: FL_COL1 FL_COL1
2639 alignment: FL_ALIGN_CENTER
2640 style: FL_NORMAL_STYLE
2641 size: FL_NORMAL_SIZE
2642 lcol: FL_BLACK
2643 label: Browse...
2644 shortcut:
2645 resize: FL_RESIZE_ALL
2646 gravity: FL_NoGravity FL_NoGravity
2647 name: button_backup_path_browse
2648 callback: C_FormBaseDeprecatedInputCB
2649 argument: 0
2650
2651 --------------------
2652 class: FL_INPUT
2653 type: NORMAL_INPUT
2654 box: 170 245 170 30
2655 boxtype: FL_DOWN_BOX
2656 colors: FL_COL1 FL_MCOL
2657 alignment: FL_ALIGN_LEFT
2658 style: FL_NORMAL_STYLE
2659 size: FL_NORMAL_SIZE
2660 lcol: FL_BLACK
2661 label: LyXServer pipe|#S
2662 shortcut:
2663 resize: FL_RESIZE_ALL
2664 gravity: FL_NoGravity FL_NoGravity
2665 name: input_serverpipe
2666 callback: C_FormBaseDeprecatedInputCB
2667 argument: 0
2668
2669 --------------------
2670 class: FL_BUTTON
2671 type: NORMAL_BUTTON
2672 box: 345 245 100 30
2673 boxtype: FL_UP_BOX
2674 colors: FL_COL1 FL_COL1
2675 alignment: FL_ALIGN_CENTER
2676 style: FL_NORMAL_STYLE
2677 size: FL_NORMAL_SIZE
2678 lcol: FL_BLACK
2679 label: Browse...
2680 shortcut:
2681 resize: FL_RESIZE_ALL
2682 gravity: FL_NoGravity FL_NoGravity
2683 name: button_serverpipe_browse
2684 callback: C_FormBaseDeprecatedInputCB
2685 argument: 0
2686
2687 =============== FORM ===============
2688 Name: form_preferences_inputs_misc
2689 Width: 450
2690 Height: 360
2691 Number of Objects: 2
2692
2693 --------------------
2694 class: FL_BOX
2695 type: FLAT_BOX
2696 box: 0 0 450 360
2697 boxtype: FL_FLAT_BOX
2698 colors: FL_COL1 FL_COL1
2699 alignment: FL_ALIGN_CENTER
2700 style: FL_NORMAL_STYLE
2701 size: FL_DEFAULT_SIZE
2702 lcol: FL_BLACK
2703 label:
2704 shortcut:
2705 resize: FL_RESIZE_ALL
2706 gravity: FL_NoGravity FL_NoGravity
2707 name:
2708 callback:
2709 argument:
2710
2711 --------------------
2712 class: FL_INPUT
2713 type: NORMAL_INPUT
2714 box: 120 70 285 30
2715 boxtype: FL_DOWN_BOX
2716 colors: FL_COL1 FL_MCOL
2717 alignment: FL_ALIGN_LEFT
2718 style: FL_NORMAL_STYLE
2719 size: FL_NORMAL_SIZE
2720 lcol: FL_BLACK
2721 label: date format|#f
2722 shortcut:
2723 resize: FL_RESIZE_ALL
2724 gravity: FL_NoGravity FL_NoGravity
2725 name: input_date_format
2726 callback: C_FormBaseDeprecatedInputCB
2727 argument: 0
2728
2729 =============== FORM ===============
2730 Name: form_preferences_printer
2731 Width: 450
2732 Height: 350
2733 Number of Objects: 21
2734
2735 --------------------
2736 class: FL_BOX
2737 type: FLAT_BOX
2738 box: 0 0 450 350
2739 boxtype: FL_FLAT_BOX
2740 colors: FL_COL1 FL_COL1
2741 alignment: FL_ALIGN_CENTER
2742 style: FL_NORMAL_STYLE
2743 size: FL_DEFAULT_SIZE
2744 lcol: FL_BLACK
2745 label:
2746 shortcut:
2747 resize: FL_RESIZE_ALL
2748 gravity: FL_NoGravity FL_NoGravity
2749 name:
2750 callback:
2751 argument:
2752
2753 --------------------
2754 class: FL_INPUT
2755 type: NORMAL_INPUT
2756 box: 130 10 80 30
2757 boxtype: FL_DOWN_BOX
2758 colors: FL_COL1 FL_MCOL
2759 alignment: FL_ALIGN_LEFT
2760 style: FL_NORMAL_STYLE
2761 size: FL_NORMAL_SIZE
2762 lcol: FL_BLACK
2763 label: name
2764 shortcut:
2765 resize: FL_RESIZE_ALL
2766 gravity: FL_NoGravity FL_NoGravity
2767 name: input_name
2768 callback: C_FormBaseDeprecatedInputCB
2769 argument: 0
2770
2771 --------------------
2772 class: FL_CHECKBUTTON
2773 type: PUSH_BUTTON
2774 box: 240 10 30 30
2775 boxtype: FL_NO_BOX
2776 colors: FL_COL1 FL_YELLOW
2777 alignment: FL_ALIGN_CENTER
2778 style: FL_NORMAL_STYLE
2779 size: FL_NORMAL_SIZE
2780 lcol: FL_BLACK
2781 label: adapt output
2782 shortcut:
2783 resize: FL_RESIZE_ALL
2784 gravity: FL_NoGravity FL_NoGravity
2785 name: check_adapt_output
2786 callback: C_FormBaseDeprecatedInputCB
2787 argument: 0
2788
2789 --------------------
2790 class: FL_LABELFRAME
2791 type: ENGRAVED_FRAME
2792 box: 10 60 435 260
2793 boxtype: FL_NO_BOX
2794 colors: FL_BLACK FL_COL1
2795 alignment: FL_ALIGN_TOP_LEFT
2796 style: FL_NORMAL_STYLE
2797 size: FL_NORMAL_SIZE
2798 lcol: FL_BLACK
2799 label: Printer Command and Flags
2800 shortcut:
2801 resize: FL_RESIZE_ALL
2802 gravity: FL_NoGravity FL_NoGravity
2803 name:
2804 callback:
2805 argument:
2806
2807 --------------------
2808 class: FL_INPUT
2809 type: NORMAL_INPUT
2810 box: 130 75 80 30
2811 boxtype: FL_DOWN_BOX
2812 colors: FL_COL1 FL_MCOL
2813 alignment: FL_ALIGN_LEFT
2814 style: FL_NORMAL_STYLE
2815 size: FL_NORMAL_SIZE
2816 lcol: FL_BLACK
2817 label: command
2818 shortcut:
2819 resize: FL_RESIZE_ALL
2820 gravity: FL_NoGravity FL_NoGravity
2821 name: input_command
2822 callback: C_FormBaseDeprecatedInputCB
2823 argument: 0
2824
2825 --------------------
2826 class: FL_INPUT
2827 type: NORMAL_INPUT
2828 box: 130 105 80 30
2829 boxtype: FL_DOWN_BOX
2830 colors: FL_COL1 FL_MCOL
2831 alignment: FL_ALIGN_LEFT
2832 style: FL_NORMAL_STYLE
2833 size: FL_NORMAL_SIZE
2834 lcol: FL_BLACK
2835 label: page range
2836 shortcut:
2837 resize: FL_RESIZE_ALL
2838 gravity: FL_NoGravity FL_NoGravity
2839 name: input_page_range
2840 callback: C_FormBaseDeprecatedInputCB
2841 argument: 0
2842
2843 --------------------
2844 class: FL_INPUT
2845 type: NORMAL_INPUT
2846 box: 130 135 80 30
2847 boxtype: FL_DOWN_BOX
2848 colors: FL_COL1 FL_MCOL
2849 alignment: FL_ALIGN_LEFT
2850 style: FL_NORMAL_STYLE
2851 size: FL_NORMAL_SIZE
2852 lcol: FL_BLACK
2853 label: copies
2854 shortcut:
2855 resize: FL_RESIZE_ALL
2856 gravity: FL_NoGravity FL_NoGravity
2857 name: input_copies
2858 callback: C_FormBaseDeprecatedInputCB
2859 argument: 0
2860
2861 --------------------
2862 class: FL_INPUT
2863 type: NORMAL_INPUT
2864 box: 130 165 80 30
2865 boxtype: FL_DOWN_BOX
2866 colors: FL_COL1 FL_MCOL
2867 alignment: FL_ALIGN_LEFT
2868 style: FL_NORMAL_STYLE
2869 size: FL_NORMAL_SIZE
2870 lcol: FL_BLACK
2871 label: reverse
2872 shortcut:
2873 resize: FL_RESIZE_ALL
2874 gravity: FL_NoGravity FL_NoGravity
2875 name: input_reverse
2876 callback: C_FormBaseDeprecatedInputCB
2877 argument: 0
2878
2879 --------------------
2880 class: FL_INPUT
2881 type: NORMAL_INPUT
2882 box: 130 195 80 30
2883 boxtype: FL_DOWN_BOX
2884 colors: FL_COL1 FL_MCOL
2885 alignment: FL_ALIGN_LEFT
2886 style: FL_NORMAL_STYLE
2887 size: FL_NORMAL_SIZE
2888 lcol: FL_BLACK
2889 label: to printer
2890 shortcut:
2891 resize: FL_RESIZE_ALL
2892 gravity: FL_NoGravity FL_NoGravity
2893 name: input_to_printer
2894 callback: C_FormBaseDeprecatedInputCB
2895 argument: 0
2896
2897 --------------------
2898 class: FL_INPUT
2899 type: NORMAL_INPUT
2900 box: 130 225 80 30
2901 boxtype: FL_DOWN_BOX
2902 colors: FL_COL1 FL_MCOL
2903 alignment: FL_ALIGN_LEFT
2904 style: FL_NORMAL_STYLE
2905 size: FL_NORMAL_SIZE
2906 lcol: FL_BLACK
2907 label: file extension
2908 shortcut:
2909 resize: FL_RESIZE_ALL
2910 gravity: FL_NoGravity FL_NoGravity
2911 name: input_file_extension
2912 callback: C_FormBaseDeprecatedInputCB
2913 argument: 0
2914
2915 --------------------
2916 class: FL_INPUT
2917 type: NORMAL_INPUT
2918 box: 130 255 80 30
2919 boxtype: FL_DOWN_BOX
2920 colors: FL_COL1 FL_MCOL
2921 alignment: FL_ALIGN_LEFT
2922 style: FL_NORMAL_STYLE
2923 size: FL_NORMAL_SIZE
2924 lcol: FL_BLACK
2925 label: spool command
2926 shortcut:
2927 resize: FL_RESIZE_ALL
2928 gravity: FL_NoGravity FL_NoGravity
2929 name: input_spool_command
2930 callback: C_FormBaseDeprecatedInputCB
2931 argument: 0
2932
2933 --------------------
2934 class: FL_INPUT
2935 type: NORMAL_INPUT
2936 box: 130 285 80 30
2937 boxtype: FL_DOWN_BOX
2938 colors: FL_COL1 FL_MCOL
2939 alignment: FL_ALIGN_LEFT
2940 style: FL_NORMAL_STYLE
2941 size: FL_NORMAL_SIZE
2942 lcol: FL_BLACK
2943 label: paper type
2944 shortcut:
2945 resize: FL_RESIZE_ALL
2946 gravity: FL_NoGravity FL_NoGravity
2947 name: input_paper_type
2948 callback: C_FormBaseDeprecatedInputCB
2949 argument: 0
2950
2951 --------------------
2952 class: FL_INPUT
2953 type: NORMAL_INPUT
2954 box: 360 75 80 30
2955 boxtype: FL_DOWN_BOX
2956 colors: FL_COL1 FL_MCOL
2957 alignment: FL_ALIGN_LEFT
2958 style: FL_NORMAL_STYLE
2959 size: FL_NORMAL_SIZE
2960 lcol: FL_BLACK
2961 label: even pages
2962 shortcut:
2963 resize: FL_RESIZE_ALL
2964 gravity: FL_NoGravity FL_NoGravity
2965 name: input_even_pages
2966 callback: C_FormBaseDeprecatedInputCB
2967 argument: 0
2968
2969 --------------------
2970 class: FL_INPUT
2971 type: NORMAL_INPUT
2972 box: 360 105 80 30
2973 boxtype: FL_DOWN_BOX
2974 colors: FL_COL1 FL_MCOL
2975 alignment: FL_ALIGN_LEFT
2976 style: FL_NORMAL_STYLE
2977 size: FL_NORMAL_SIZE
2978 lcol: FL_BLACK
2979 label: odd pages
2980 shortcut:
2981 resize: FL_RESIZE_ALL
2982 gravity: FL_NoGravity FL_NoGravity
2983 name: input_odd_pages
2984 callback: C_FormBaseDeprecatedInputCB
2985 argument: 0
2986
2987 --------------------
2988 class: FL_INPUT
2989 type: NORMAL_INPUT
2990 box: 360 135 80 30
2991 boxtype: FL_DOWN_BOX
2992 colors: FL_COL1 FL_MCOL
2993 alignment: FL_ALIGN_LEFT
2994 style: FL_NORMAL_STYLE
2995 size: FL_NORMAL_SIZE
2996 lcol: FL_BLACK
2997 label: collated
2998 shortcut:
2999 resize: FL_RESIZE_ALL
3000 gravity: FL_NoGravity FL_NoGravity
3001 name: input_collated
3002 callback: C_FormBaseDeprecatedInputCB
3003 argument: 0
3004
3005 --------------------
3006 class: FL_INPUT
3007 type: NORMAL_INPUT
3008 box: 360 165 80 30
3009 boxtype: FL_DOWN_BOX
3010 colors: FL_COL1 FL_MCOL
3011 alignment: FL_ALIGN_LEFT
3012 style: FL_NORMAL_STYLE
3013 size: FL_NORMAL_SIZE
3014 lcol: FL_BLACK
3015 label: landscape
3016 shortcut:
3017 resize: FL_RESIZE_ALL
3018 gravity: FL_NoGravity FL_NoGravity
3019 name: input_landscape
3020 callback: C_FormBaseDeprecatedInputCB
3021 argument: 0
3022
3023 --------------------
3024 class: FL_INPUT
3025 type: NORMAL_INPUT
3026 box: 360 195 80 30
3027 boxtype: FL_DOWN_BOX
3028 colors: FL_COL1 FL_MCOL
3029 alignment: FL_ALIGN_LEFT
3030 style: FL_NORMAL_STYLE
3031 size: FL_NORMAL_SIZE
3032 lcol: FL_BLACK
3033 label: to file
3034 shortcut:
3035 resize: FL_RESIZE_ALL
3036 gravity: FL_NoGravity FL_NoGravity
3037 name: input_to_file
3038 callback: C_FormBaseDeprecatedInputCB
3039 argument: 0
3040
3041 --------------------
3042 class: FL_INPUT
3043 type: NORMAL_INPUT
3044 box: 360 225 80 30
3045 boxtype: FL_DOWN_BOX
3046 colors: FL_COL1 FL_MCOL
3047 alignment: FL_ALIGN_LEFT
3048 style: FL_NORMAL_STYLE
3049 size: FL_NORMAL_SIZE
3050 lcol: FL_BLACK
3051 label: extra options
3052 shortcut:
3053 resize: FL_RESIZE_ALL
3054 gravity: FL_NoGravity FL_NoGravity
3055 name: input_extra_options
3056 callback: C_FormBaseDeprecatedInputCB
3057 argument: 0
3058
3059 --------------------
3060 class: FL_INPUT
3061 type: NORMAL_INPUT
3062 box: 360 255 80 30
3063 boxtype: FL_DOWN_BOX
3064 colors: FL_COL1 FL_MCOL
3065 alignment: FL_ALIGN_LEFT
3066 style: FL_NORMAL_STYLE
3067 size: FL_NORMAL_SIZE
3068 lcol: FL_BLACK
3069 label: spool printer prefix
3070 shortcut:
3071 resize: FL_RESIZE_ALL
3072 gravity: FL_NoGravity FL_NoGravity
3073 name: input_spool_prefix
3074 callback: C_FormBaseDeprecatedInputCB
3075 argument: 0
3076
3077 --------------------
3078 class: FL_INPUT
3079 type: NORMAL_INPUT
3080 box: 360 285 80 30
3081 boxtype: FL_DOWN_BOX
3082 colors: FL_COL1 FL_MCOL
3083 alignment: FL_ALIGN_LEFT
3084 style: FL_NORMAL_STYLE
3085 size: FL_NORMAL_SIZE
3086 lcol: FL_BLACK
3087 label: paper size
3088 shortcut:
3089 resize: FL_RESIZE_ALL
3090 gravity: FL_NoGravity FL_NoGravity
3091 name: input_paper_size
3092 callback: C_FormBaseDeprecatedInputCB
3093 argument: 0
3094
3095 --------------------
3096 class: FL_FRAME
3097 type: ENGRAVED_FRAME
3098 box: 10 5 435 45
3099 boxtype: FL_NO_BOX
3100 colors: FL_BLACK FL_COL1
3101 alignment: FL_ALIGN_CENTER
3102 style: FL_NORMAL_STYLE
3103 size: FL_DEFAULT_SIZE
3104 lcol: FL_BLACK
3105 label:
3106 shortcut:
3107 resize: FL_RESIZE_ALL
3108 gravity: FL_NoGravity FL_NoGravity
3109 name:
3110 callback:
3111 argument:
3112
3113 =============== FORM ===============
3114 Name: form_preferences_outputs_misc
3115 Width: 455
3116 Height: 375
3117 Number of Objects: 10
3118
3119 --------------------
3120 class: FL_BOX
3121 type: FLAT_BOX
3122 box: 0 0 455 375
3123 boxtype: FL_FLAT_BOX
3124 colors: FL_COL1 FL_COL1
3125 alignment: FL_ALIGN_CENTER
3126 style: FL_NORMAL_STYLE
3127 size: FL_DEFAULT_SIZE
3128 lcol: FL_BLACK
3129 label:
3130 shortcut:
3131 resize: FL_RESIZE_ALL
3132 gravity: FL_NorthWest FL_SouthEast
3133 name:
3134 callback:
3135 argument:
3136
3137 --------------------
3138 class: FL_FRAME
3139 type: ENGRAVED_FRAME
3140 box: 10 10 435 165
3141 boxtype: FL_NO_BOX
3142 colors: FL_BLACK FL_COL1
3143 alignment: FL_ALIGN_CENTER
3144 style: FL_NORMAL_STYLE
3145 size: FL_DEFAULT_SIZE
3146 lcol: FL_BLACK
3147 label:
3148 shortcut:
3149 resize: FL_RESIZE_ALL
3150 gravity: FL_NoGravity FL_NoGravity
3151 name:
3152 callback:
3153 argument:
3154
3155 --------------------
3156 class: FL_COUNTER
3157 type: NORMAL_COUNTER
3158 box: 330 25 100 30
3159 boxtype: FL_UP_BOX
3160 colors: FL_COL1 FL_BLUE
3161 alignment: FL_ALIGN_LEFT
3162 style: FL_NORMAL_STYLE
3163 size: FL_NORMAL_SIZE
3164 lcol: FL_BLACK
3165 label: Ascii line length|#A
3166 shortcut:
3167 resize: FL_RESIZE_ALL
3168 gravity: FL_NoGravity FL_NoGravity
3169 name: counter_line_len
3170 callback: C_FormBaseDeprecatedInputCB
3171 argument: 0
3172   bounds: 0 120
3173   precision: 0
3174   value: 75
3175   sstep: 1
3176
3177 --------------------
3178 class: FL_INPUT
3179 type: NORMAL_INPUT
3180 box: 230 65 200 30
3181 boxtype: FL_DOWN_BOX
3182 colors: FL_COL1 FL_MCOL
3183 alignment: FL_ALIGN_LEFT
3184 style: FL_NORMAL_STYLE
3185 size: FL_NORMAL_SIZE
3186 lcol: FL_BLACK
3187 label: TeX encoding|#T
3188 shortcut:
3189 resize: FL_RESIZE_ALL
3190 gravity: FL_NoGravity FL_NoGravity
3191 name: input_tex_encoding
3192 callback: C_FormBaseDeprecatedInputCB
3193 argument: 0
3194
3195 --------------------
3196 class: FL_CHOICE
3197 type: NORMAL_CHOICE
3198 box: 230 105 199 29
3199 boxtype: FL_FRAME_BOX
3200 colors: FL_COL1 FL_BLACK
3201 alignment: FL_ALIGN_LEFT
3202 style: FL_NORMAL_STYLE
3203 size: FL_NORMAL_SIZE
3204 lcol: FL_BLACK
3205 label: Default paper size|#p
3206 shortcut:
3207 resize: FL_RESIZE_ALL
3208 gravity: FL_NoGravity FL_NoGravity
3209 name: choice_default_papersize
3210 callback: C_FormBaseDeprecatedInputCB
3211 argument: 0
3212
3213 --------------------
3214 class: FL_LABELFRAME
3215 type: ENGRAVED_FRAME
3216 box: 10 190 435 135
3217 boxtype: FL_NO_BOX
3218 colors: FL_BLACK FL_COL1
3219 alignment: FL_ALIGN_TOP_LEFT
3220 style: FL_NORMAL_STYLE
3221 size: FL_NORMAL_SIZE
3222 lcol: FL_BLACK
3223 label: Outside code interaction
3224 shortcut:
3225 resize: FL_RESIZE_ALL
3226 gravity: FL_NoGravity FL_NoGravity
3227 name:
3228 callback:
3229 argument:
3230
3231 --------------------
3232 class: FL_INPUT
3233 type: NORMAL_INPUT
3234 box: 145 205 285 30
3235 boxtype: FL_DOWN_BOX
3236 colors: FL_COL1 FL_MCOL
3237 alignment: FL_ALIGN_LEFT
3238 style: FL_NORMAL_STYLE
3239 size: FL_NORMAL_SIZE
3240 lcol: FL_BLACK
3241 label: ascii roff|#r
3242 shortcut:
3243 resize: FL_RESIZE_ALL
3244 gravity: FL_NoGravity FL_NoGravity
3245 name: input_ascii_roff
3246 callback: C_FormBaseDeprecatedInputCB
3247 argument: 0
3248
3249 --------------------
3250 class: FL_INPUT
3251 type: NORMAL_INPUT
3252 box: 145 245 285 30
3253 boxtype: FL_DOWN_BOX
3254 colors: FL_COL1 FL_MCOL
3255 alignment: FL_ALIGN_LEFT
3256 style: FL_NORMAL_STYLE
3257 size: FL_NORMAL_SIZE
3258 lcol: FL_BLACK
3259 label: checktex|#c
3260 shortcut:
3261 resize: FL_RESIZE_ALL
3262 gravity: FL_NoGravity FL_NoGravity
3263 name: input_checktex
3264 callback: C_FormBaseDeprecatedInputCB
3265 argument: 0
3266
3267 --------------------
3268 class: FL_INPUT
3269 type: NORMAL_INPUT
3270 box: 145 285 285 30
3271 boxtype: FL_DOWN_BOX
3272 colors: FL_COL1 FL_MCOL
3273 alignment: FL_ALIGN_LEFT
3274 style: FL_NORMAL_STYLE
3275 size: FL_NORMAL_SIZE
3276 lcol: FL_BLACK
3277 label: DVI paper option|#D
3278 shortcut:
3279 resize: FL_RESIZE_ALL
3280 gravity: FL_NoGravity FL_NoGravity
3281 name: input_paperoption
3282 callback: C_FormBaseDeprecatedInputCB
3283 argument: 0
3284
3285 --------------------
3286 class: FL_CHECKBUTTON
3287 type: PUSH_BUTTON
3288 box: 20 140 30 30
3289 boxtype: FL_NO_BOX
3290 colors: FL_COL1 FL_YELLOW
3291 alignment: FL_ALIGN_CENTER
3292 style: FL_NORMAL_STYLE
3293 size: FL_DEFAULT_SIZE
3294 lcol: FL_BLACK
3295 label: Autoreset Class Options on change|#u
3296 shortcut:
3297 resize: FL_RESIZE_ALL
3298 gravity: FL_NoGravity FL_NoGravity
3299 name: check_autoreset_classopt
3300 callback: C_FormBaseDeprecatedInputCB
3301 argument: 0
3302
3303 ==============================
3304 create_the_forms