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: 15
   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_FormBaseRestoreCB
  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_FormBaseOKCB
  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_FormBaseApplyCB
 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_FormBaseCancelCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 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: 10
 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_FormBaseInputCB
 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_FormBaseInputCB
 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_FormBaseInputCB
 689 argument: 0
 690
 691 --------------------
 692 class: FL_LABELFRAME
 693 type: ENGRAVED_FRAME
 694 box: 15 165 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 175 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_FormBaseInputCB
 725 argument: 0
 726
 727 --------------------
 728 class: FL_BUTTON
 729 type: NORMAL_BUTTON
 730 box: 335 175 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_FormBaseInputCB
 743 argument: 0
 744
 745 --------------------
 746 class: FL_INPUT
 747 type: NORMAL_INPUT
 748 box: 160 210 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_FormBaseInputCB
 761 argument: 0
 762
 763 --------------------
 764 class: FL_BUTTON
 765 type: NORMAL_BUTTON
 766 box: 335 210 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_FormBaseInputCB
 779 argument: 0
 780
 781 =============== FORM ===============
 782 Name: form_preferences_colors
 783 Width: 450
 784 Height: 360
 785 Number of Objects: 15
 786
 787 --------------------
 788 class: FL_BOX
 789 type: FLAT_BOX
 790 box: 0 0 450 360
 791 boxtype: FL_FLAT_BOX
 792 colors: FL_COL1 FL_COL1
 793 alignment: FL_ALIGN_CENTER
 794 style: FL_NORMAL_STYLE
 795 size: FL_DEFAULT_SIZE
 796 lcol: FL_BLACK
 797 label:
 798 shortcut:
 799 resize: FL_RESIZE_ALL
 800 gravity: FL_NoGravity FL_NoGravity
 801 name:
 802 callback:
 803 argument:
 804
 805 --------------------
 806 class: FL_BROWSER
 807 type: HOLD_BROWSER
 808 box: 10 25 195 290
 809 boxtype: FL_DOWN_BOX
 810 colors: FL_COL1 FL_YELLOW
 811 alignment: FL_ALIGN_TOP
 812 style: FL_NORMAL_STYLE
 813 size: FL_NORMAL_SIZE
 814 lcol: FL_BLACK
 815 label: LyX objects:|#L
 816 shortcut:
 817 resize: FL_RESIZE_ALL
 818 gravity: FL_NoGravity FL_NoGravity
 819 name: browser_lyx_objs
 820 callback: C_FormBaseInputCB
 821 argument: 0
 822
 823 --------------------
 824 class: FL_DIAL
 825 type: NORMAL_DIAL
 826 box: 276 23 100 100
 827 boxtype: FL_FLAT_BOX
 828 colors: FL_COL1 FL_RIGHT_BCOL
 829 alignment: FL_ALIGN_CENTER
 830 style: FL_NORMAL_STYLE
 831 size: FL_DEFAULT_SIZE
 832 lcol: FL_BLACK
 833 label: H|#H
 834 shortcut:
 835 resize: FL_RESIZE_ALL
 836 gravity: FL_NoGravity FL_NoGravity
 837 name: dial_hue
 838 callback: C_FormBaseInputCB
 839 argument: 0
 840
 841 --------------------
 842 class: FL_SLIDER
 843 type: HOR_NICE_SLIDER
 844 box: 251 135 150 30
 845 boxtype: FL_DOWN_BOX
 846 colors: FL_COL1 FL_COL1
 847 alignment: FL_ALIGN_LEFT
 848 style: FL_NORMAL_STYLE
 849 size: FL_NORMAL_SIZE
 850 lcol: FL_BLACK
 851 label: S|#S
 852 shortcut:
 853 resize: FL_RESIZE_ALL
 854 gravity: FL_NoGravity FL_NoGravity
 855 name: slider_saturation
 856 callback: C_FormBaseInputCB
 857 argument: 0
 858         slsize: 0.15
 859
 860 --------------------
 861 class: FL_SLIDER
 862 type: HOR_NICE_SLIDER
 863 box: 251 175 150 30
 864 boxtype: FL_DOWN_BOX
 865 colors: FL_COL1 FL_COL1
 866 alignment: FL_ALIGN_LEFT
 867 style: FL_NORMAL_STYLE
 868 size: FL_NORMAL_SIZE
 869 lcol: FL_BLACK
 870 label: V|#V
 871 shortcut:
 872 resize: FL_RESIZE_ALL
 873 gravity: FL_NoGravity FL_NoGravity
 874 name: slider_value
 875 callback: C_FormBaseInputCB
 876 argument: 0
 877         slsize: 0.15
 878
 879 --------------------
 880 class: FL_SLIDER
 881 type: VERT_FILL_SLIDER
 882 box: 250 25 40 180
 883 boxtype: FL_DOWN_BOX
 884 colors: FL_COL1 FL_RED
 885 alignment: FL_ALIGN_BOTTOM
 886 style: FL_NORMAL_STYLE
 887 size: FL_NORMAL_SIZE
 888 lcol: FL_BLACK
 889 label: R|#R
 890 shortcut:
 891 resize: FL_RESIZE_ALL
 892 gravity: FL_NoGravity FL_NoGravity
 893 name: slider_red
 894 callback: C_FormBaseInputCB
 895 argument: 0
 896         slsize: 0.15
 897
 898 --------------------
 899 class: FL_SLIDER
 900 type: VERT_FILL_SLIDER
 901 box: 305 25 40 180
 902 boxtype: FL_DOWN_BOX
 903 colors: FL_COL1 FL_GREEN
 904 alignment: FL_ALIGN_BOTTOM
 905 style: FL_NORMAL_STYLE
 906 size: FL_NORMAL_SIZE
 907 lcol: FL_BLACK
 908 label: G|#G
 909 shortcut:
 910 resize: FL_RESIZE_ALL
 911 gravity: FL_NoGravity FL_NoGravity
 912 name: slider_green
 913 callback: C_FormBaseInputCB
 914 argument: 0
 915         slsize: 0.15
 916
 917 --------------------
 918 class: FL_SLIDER
 919 type: VERT_FILL_SLIDER
 920 box: 360 25 40 180
 921 boxtype: FL_DOWN_BOX
 922 colors: FL_COL1 FL_BLUE
 923 alignment: FL_ALIGN_BOTTOM
 924 style: FL_NORMAL_STYLE
 925 size: FL_NORMAL_SIZE
 926 lcol: FL_BLACK
 927 label: B|#B
 928 shortcut:
 929 resize: FL_RESIZE_ALL
 930 gravity: FL_NoGravity FL_NoGravity
 931 name: slider_blue
 932 callback: C_FormBaseInputCB
 933 argument: 0
 934         slsize: 0.15
 935
 936 --------------------
 937 class: FL_BEGIN_GROUP
 938 type: 0
 939 box: 0 10 10 0
 940 boxtype: FL_NO_BOX
 941 colors: FL_COL1 FL_MCOL
 942 alignment: FL_ALIGN_CENTER
 943 style: FL_NORMAL_STYLE
 944 size: FL_DEFAULT_SIZE
 945 lcol: FL_BLACK
 946 label:
 947 shortcut:
 948 resize: FL_RESIZE_ALL
 949 gravity: FL_NoGravity FL_NoGravity
 950 name:
 951 callback:
 952 argument:
 953
 954 --------------------
 955 class: FL_ROUND3DBUTTON
 956 type: RADIO_BUTTON
 957 box: 250 220 30 30
 958 boxtype: FL_NO_BOX
 959 colors: FL_COL1 FL_YELLOW
 960 alignment: FL_ALIGN_RIGHT
 961 style: FL_NORMAL_STYLE
 962 size: FL_DEFAULT_SIZE
 963 lcol: FL_BLACK
 964 label: HSV
 965 shortcut:
 966 resize: FL_RESIZE_ALL
 967 gravity: FL_NoGravity FL_NoGravity
 968 name: radio_hsv
 969 callback: C_FormBaseInputCB
 970 argument: 0
 971
 972 --------------------
 973 class: FL_ROUND3DBUTTON
 974 type: RADIO_BUTTON
 975 box: 335 220 30 30
 976 boxtype: FL_NO_BOX
 977 colors: FL_COL1 FL_YELLOW
 978 alignment: FL_ALIGN_RIGHT
 979 style: FL_NORMAL_STYLE
 980 size: FL_DEFAULT_SIZE
 981 lcol: FL_BLACK
 982 label: RGB
 983 shortcut:
 984 resize: FL_RESIZE_ALL
 985 gravity: FL_NoGravity FL_NoGravity
 986 name: radio_rgb
 987 callback: C_FormBaseInputCB
 988 argument: 0
 989         value: 1
 990
 991 --------------------
 992 class: FL_END_GROUP
 993 type: 0
 994 box: 0 0 0 0
 995 boxtype: FL_NO_BOX
 996 colors: FL_COL1 FL_MCOL
 997 alignment: FL_ALIGN_CENTER
 998 style: FL_NORMAL_STYLE
 999 size: FL_DEFAULT_SIZE
1000 lcol: FL_BLACK
1001 label:
1002 shortcut:
1003 resize: FL_RESIZE_ALL
1004 gravity: FL_NoGravity FL_NoGravity
1005 name:
1006 callback:
1007 argument:
1008
1009 --------------------
1010 class: FL_TEXT
1011 type: NORMAL_TEXT
1012 box: 250 250 150 30
1013 boxtype: FL_DOWN_BOX
1014 colors: FL_COL1 FL_MCOL
1015 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
1016 style: FL_NORMAL_STYLE
1017 size: FL_DEFAULT_SIZE
1018 lcol: FL_BLACK
1019 label:
1020 shortcut:
1021 resize: FL_RESIZE_ALL
1022 gravity: FL_NoGravity FL_NoGravity
1023 name: text_color_values
1024 callback:
1025 argument:
1026
1027 --------------------
1028 class: FL_BUTTON
1029 type: NORMAL_BUTTON
1030 box: 250 285 60 30
1031 boxtype: FL_BORDER_BOX
1032 colors: FL_WHITE FL_COL1
1033 alignment: FL_ALIGN_CENTER
1034 style: FL_NORMAL_STYLE
1035 size: FL_DEFAULT_SIZE
1036 lcol: FL_BLACK
1037 label:
1038 shortcut:
1039 resize: FL_RESIZE_ALL
1040 gravity: FL_NoGravity FL_NoGravity
1041 name: button_color
1042 callback:
1043 argument:
1044
1045 --------------------
1046 class: FL_BUTTON
1047 type: NORMAL_BUTTON
1048 box: 310 285 90 30
1049 boxtype: FL_UP_BOX
1050 colors: FL_COL1 FL_COL1
1051 alignment: FL_ALIGN_CENTER
1052 style: FL_NORMAL_STYLE
1053 size: FL_NORMAL_SIZE
1054 lcol: FL_BLACK
1055 label: Modify|#M
1056 shortcut:
1057 resize: FL_RESIZE_ALL
1058 gravity: FL_NoGravity FL_NoGravity
1059 name: button_modify
1060 callback: C_FormBaseInputCB
1061 argument: 0
1062
1063 =============== FORM ===============
1064 Name: form_preferences_lnf_misc
1065 Width: 450
1066 Height: 350
1067 Number of Objects: 8
1068
1069 --------------------
1070 class: FL_BOX
1071 type: FLAT_BOX
1072 box: 0 0 450 350
1073 boxtype: FL_FLAT_BOX
1074 colors: FL_COL1 FL_COL1
1075 alignment: FL_ALIGN_CENTER
1076 style: FL_NORMAL_STYLE
1077 size: FL_DEFAULT_SIZE
1078 lcol: FL_BLACK
1079 label:
1080 shortcut:
1081 resize: FL_RESIZE_ALL
1082 gravity: FL_NoGravity FL_NoGravity
1083 name:
1084 callback:
1085 argument:
1086
1087 --------------------
1088 class: FL_CHECKBUTTON
1089 type: PUSH_BUTTON
1090 box: 15 25 30 30
1091 boxtype: FL_NO_BOX
1092 colors: FL_COL1 FL_YELLOW
1093 alignment: FL_ALIGN_CENTER
1094 style: FL_NORMAL_STYLE
1095 size: FL_NORMAL_SIZE
1096 lcol: FL_BLACK
1097 label: Auto region delete|#A
1098 shortcut:
1099 resize: FL_RESIZE_ALL
1100 gravity: FL_NoGravity FL_NoGravity
1101 name: check_auto_region_delete
1102 callback: C_FormBaseInputCB
1103 argument: 0
1104         value: 1
1105
1106 --------------------
1107 class: FL_CHECKBUTTON
1108 type: PUSH_BUTTON
1109 box: 15 75 30 30
1110 boxtype: FL_NO_BOX
1111 colors: FL_COL1 FL_YELLOW
1112 alignment: FL_ALIGN_CENTER
1113 style: FL_NORMAL_STYLE
1114 size: FL_NORMAL_SIZE
1115 lcol: FL_BLACK
1116 label: Cursor follows scrollbar|#C
1117 shortcut:
1118 resize: FL_RESIZE_NONE
1119 gravity: FL_NoGravity FL_NoGravity
1120 name: check_cursor_follows_scrollbar
1121 callback: C_FormBaseInputCB
1122 argument: 0
1123         value: 1
1124
1125 --------------------
1126 class: FL_CHECKBUTTON
1127 type: PUSH_BUTTON
1128 box: 15 130 30 30
1129 boxtype: FL_NO_BOX
1130 colors: FL_COL1 FL_YELLOW
1131 alignment: FL_ALIGN_CENTER
1132 style: FL_NORMAL_STYLE
1133 size: FL_NORMAL_SIZE
1134 lcol: FL_BLACK
1135 label: Dialogs iconify with main window|#D
1136 shortcut:
1137 resize: FL_RESIZE_NONE
1138 gravity: FL_NoGravity FL_NoGravity
1139 name: check_dialogs_iconify_with_main
1140 callback: C_FormBaseInputCB
1141 argument: 0
1142         value: 1
1143
1144 --------------------
1145 class: FL_COUNTER
1146 type: NORMAL_COUNTER
1147 box: 310 190 115 30
1148 boxtype: FL_UP_BOX
1149 colors: FL_COL1 FL_BLUE
1150 alignment: FL_ALIGN_TOP
1151 style: FL_NORMAL_STYLE
1152 size: FL_NORMAL_SIZE
1153 lcol: FL_BLACK
1154 label: Wheel mouse jump:
1155 shortcut:
1156 resize: FL_RESIZE_NONE
1157 gravity: FL_NoGravity FL_NoGravity
1158 name: counter_wm_jump
1159 callback: C_FormBaseInputCB
1160 argument: 0
1161   bounds: 0 250
1162   precision: 0
1163   value: 100
1164   sstep: 1
1165
1166 --------------------
1167 class: FL_COUNTER
1168 type: NORMAL_COUNTER
1169 box: 310 115 115 30
1170 boxtype: FL_UP_BOX
1171 colors: FL_COL1 FL_BLUE
1172 alignment: FL_ALIGN_TOP
1173 style: FL_NORMAL_STYLE
1174 size: FL_NORMAL_SIZE
1175 lcol: FL_BLACK
1176 label: Autosave interval:
1177 shortcut:
1178 resize: FL_RESIZE_NONE
1179 gravity: FL_NoGravity FL_NoGravity
1180 name: counter_autosave
1181 callback: C_FormBaseInputCB
1182 argument: 0
1183   bounds: 0 1200
1184   precision: 0
1185   value: 300
1186   sstep: 1
1187
1188 --------------------
1189 class: FL_CHECKBUTTON
1190 type: PUSH_BUTTON
1191 box: 15 185 30 30
1192 boxtype: FL_NO_BOX
1193 colors: FL_COL1 FL_YELLOW
1194 alignment: FL_ALIGN_CENTER
1195 style: FL_NORMAL_STYLE
1196 size: FL_NORMAL_SIZE
1197 lcol: FL_BLACK
1198 label: Instant Preview|#P
1199 shortcut:
1200 resize: FL_RESIZE_ALL
1201 gravity: FL_NoGravity FL_NoGravity
1202 name: check_preview_latex
1203 callback: C_FormBaseInputCB
1204 argument: 0
1205         value: 1
1206
1207 --------------------
1208 class: FL_CHOICE
1209 type: NORMAL_CHOICE
1210 box: 305 40 130 30
1211 boxtype: FL_FRAME_BOX
1212 colors: FL_COL1 FL_BLACK
1213 alignment: FL_ALIGN_TOP
1214 style: FL_NORMAL_STYLE
1215 size: FL_DEFAULT_SIZE
1216 lcol: FL_BLACK
1217 label: Graphics display:|#G
1218 shortcut:
1219 resize: FL_RESIZE_NONE
1220 gravity: FL_NoGravity FL_NoGravity
1221 name: choice_display
1222 callback: C_FormBaseInputCB
1223 argument: 0
1224
1225 =============== FORM ===============
1226 Name: form_preferences_identity
1227 Width: 450
1228 Height: 350
1229 Number of Objects: 3
1230
1231 --------------------
1232 class: FL_BOX
1233 type: FLAT_BOX
1234 box: 0 0 450 350
1235 boxtype: FL_FLAT_BOX
1236 colors: FL_COL1 FL_COL1
1237 alignment: FL_ALIGN_CENTER
1238 style: FL_NORMAL_STYLE
1239 size: FL_DEFAULT_SIZE
1240 lcol: FL_BLACK
1241 label:
1242 shortcut:
1243 resize: FL_RESIZE_ALL
1244 gravity: FL_NoGravity FL_NoGravity
1245 name:
1246 callback:
1247 argument:
1248
1249 --------------------
1250 class: FL_INPUT
1251 type: NORMAL_INPUT
1252 box: 125 25 220 35
1253 boxtype: FL_DOWN_BOX
1254 colors: FL_COL1 FL_MCOL
1255 alignment: FL_ALIGN_LEFT
1256 style: FL_NORMAL_STYLE
1257 size: FL_DEFAULT_SIZE
1258 lcol: FL_BLACK
1259 label: Real name : |#R
1260 shortcut:
1261 resize: FL_RESIZE_ALL
1262 gravity: FL_NoGravity FL_NoGravity
1263 name: input_user_name
1264 callback: C_FormBaseInputCB
1265 argument: 0
1266
1267 --------------------
1268 class: FL_INPUT
1269 type: NORMAL_INPUT
1270 box: 125 80 220 35
1271 boxtype: FL_DOWN_BOX
1272 colors: FL_COL1 FL_MCOL
1273 alignment: FL_ALIGN_LEFT
1274 style: FL_NORMAL_STYLE
1275 size: FL_DEFAULT_SIZE
1276 lcol: FL_BLACK
1277 label: Email address : |#E
1278 shortcut:
1279 resize: FL_RESIZE_ALL
1280 gravity: FL_NoGravity FL_NoGravity
1281 name: input_user_email
1282 callback: C_FormBaseInputCB
1283 argument: 0
1284
1285 =============== FORM ===============
1286 Name: form_preferences_spelloptions
1287 Width: 450
1288 Height: 360
1289 Number of Objects: 14
1290
1291 --------------------
1292 class: FL_BOX
1293 type: FLAT_BOX
1294 box: 0 0 450 360
1295 boxtype: FL_FLAT_BOX
1296 colors: FL_COL1 FL_COL1
1297 alignment: FL_ALIGN_CENTER
1298 style: FL_NORMAL_STYLE
1299 size: FL_DEFAULT_SIZE
1300 lcol: FL_BLACK
1301 label:
1302 shortcut:
1303 resize: FL_RESIZE_ALL
1304 gravity: FL_NoGravity FL_NoGravity
1305 name:
1306 callback:
1307 argument:
1308
1309 --------------------
1310 class: FL_CHOICE
1311 type: NORMAL_CHOICE
1312 box: 240 30 171 34
1313 boxtype: FL_FRAME_BOX
1314 colors: FL_COL1 FL_BLACK
1315 alignment: FL_ALIGN_LEFT
1316 style: FL_NORMAL_STYLE
1317 size: FL_NORMAL_SIZE
1318 lcol: FL_BLACK
1319 label: Spell command:|#S
1320 shortcut:
1321 resize: FL_RESIZE_ALL
1322 gravity: FL_NoGravity FL_NoGravity
1323 name: choice_spell_command
1324 callback: C_FormBaseInputCB
1325 argument: 0
1326
1327 --------------------
1328 class: FL_CHECKBUTTON
1329 type: PUSH_BUTTON
1330 box: 208 100 30 30
1331 boxtype: FL_NO_BOX
1332 colors: FL_COL1 FL_YELLOW
1333 alignment: FL_ALIGN_LEFT
1334 style: FL_NORMAL_STYLE
1335 size: FL_NORMAL_SIZE
1336 lcol: FL_BLACK
1337 label: Alternative language:|#a
1338 shortcut:
1339 resize: FL_RESIZE_ALL
1340 gravity: FL_NoGravity FL_NoGravity
1341 name: check_alt_lang
1342 callback: C_FormBaseInputCB
1343 argument: 0
1344
1345 --------------------
1346 class: FL_INPUT
1347 type: NORMAL_INPUT
1348 box: 239 100 170 30
1349 boxtype: FL_DOWN_BOX
1350 colors: FL_COL1 FL_MCOL
1351 alignment: FL_ALIGN_LEFT
1352 style: FL_NORMAL_STYLE
1353 size: FL_DEFAULT_SIZE
1354 lcol: FL_BLACK
1355 label:
1356 shortcut:
1357 resize: FL_RESIZE_ALL
1358 gravity: FL_NoGravity FL_NoGravity
1359 name: input_alt_lang
1360 callback: C_FormBaseInputCB
1361 argument: 0
1362
1363 --------------------
1364 class: FL_CHECKBUTTON
1365 type: PUSH_BUTTON
1366 box: 208 130 30 30
1367 boxtype: FL_NO_BOX
1368 colors: FL_COL1 FL_YELLOW
1369 alignment: FL_ALIGN_LEFT
1370 style: FL_NORMAL_STYLE
1371 size: FL_NORMAL_SIZE
1372 lcol: FL_BLACK
1373 label: Escape characters:|#e
1374 shortcut:
1375 resize: FL_RESIZE_ALL
1376 gravity: FL_NoGravity FL_NoGravity
1377 name: check_escape_chars
1378 callback: C_FormBaseInputCB
1379 argument: 0
1380
1381 --------------------
1382 class: FL_INPUT
1383 type: NORMAL_INPUT
1384 box: 239 130 170 30
1385 boxtype: FL_DOWN_BOX
1386 colors: FL_COL1 FL_MCOL
1387 alignment: FL_ALIGN_LEFT
1388 style: FL_NORMAL_STYLE
1389 size: FL_DEFAULT_SIZE
1390 lcol: FL_BLACK
1391 label:
1392 shortcut:
1393 resize: FL_RESIZE_ALL
1394 gravity: FL_NoGravity FL_NoGravity
1395 name: input_escape_chars
1396 callback: C_FormBaseInputCB
1397 argument: 0
1398
1399 --------------------
1400 class: FL_CHECKBUTTON
1401 type: PUSH_BUTTON
1402 box: 208 160 30 30
1403 boxtype: FL_NO_BOX
1404 colors: FL_COL1 FL_YELLOW
1405 alignment: FL_ALIGN_LEFT
1406 style: FL_NORMAL_STYLE
1407 size: FL_NORMAL_SIZE
1408 lcol: FL_BLACK
1409 label: Personal dictionary:|#d
1410 shortcut:
1411 resize: FL_RESIZE_ALL
1412 gravity: FL_NoGravity FL_NoGravity
1413 name: check_personal_dict
1414 callback: C_FormBaseInputCB
1415 argument: 0
1416
1417 --------------------
1418 class: FL_INPUT
1419 type: NORMAL_INPUT
1420 box: 239 160 170 30
1421 boxtype: FL_DOWN_BOX
1422 colors: FL_COL1 FL_MCOL
1423 alignment: FL_ALIGN_LEFT
1424 style: FL_NORMAL_STYLE
1425 size: FL_DEFAULT_SIZE
1426 lcol: FL_BLACK
1427 label:
1428 shortcut:
1429 resize: FL_RESIZE_ALL
1430 gravity: FL_NoGravity FL_NoGravity
1431 name: input_personal_dict
1432 callback: C_FormBaseInputCB
1433 argument: 0
1434
1435 --------------------
1436 class: FL_BUTTON
1437 type: NORMAL_BUTTON
1438 box: 240 195 100 30
1439 boxtype: FL_UP_BOX
1440 colors: FL_COL1 FL_COL1
1441 alignment: FL_ALIGN_CENTER
1442 style: FL_NORMAL_STYLE
1443 size: FL_NORMAL_SIZE
1444 lcol: FL_BLACK
1445 label: Browse...|#B
1446 shortcut:
1447 resize: FL_RESIZE_ALL
1448 gravity: FL_NoGravity FL_NoGravity
1449 name: button_personal_dict
1450 callback: C_FormBaseInputCB
1451 argument: 0
1452
1453 --------------------
1454 class: FL_CHECKBUTTON
1455 type: PUSH_BUTTON
1456 box: 155 250 30 30
1457 boxtype: FL_NO_BOX
1458 colors: FL_COL1 FL_YELLOW
1459 alignment: FL_ALIGN_RIGHT
1460 style: FL_NORMAL_STYLE
1461 size: FL_NORMAL_SIZE
1462 lcol: FL_BLACK
1463 label: Accept compound words|#w
1464 shortcut:
1465 resize: FL_RESIZE_ALL
1466 gravity: FL_NoGravity FL_NoGravity
1467 name: check_compound_words
1468 callback: C_FormBaseInputCB
1469 argument: 0
1470
1471 --------------------
1472 class: FL_CHECKBUTTON
1473 type: PUSH_BUTTON
1474 box: 155 275 30 30
1475 boxtype: FL_NO_BOX
1476 colors: FL_COL1 FL_YELLOW
1477 alignment: FL_ALIGN_RIGHT
1478 style: FL_NORMAL_STYLE
1479 size: FL_NORMAL_SIZE
1480 lcol: FL_BLACK
1481 label: Use input encoding|#i
1482 shortcut:
1483 resize: FL_RESIZE_ALL
1484 gravity: FL_NoGravity FL_NoGravity
1485 name: check_input_enc
1486 callback: C_FormBaseInputCB
1487 argument: 0
1488
1489 --------------------
1490 class: FL_LABELFRAME
1491 type: ENGRAVED_FRAME
1492 box: 15 245 425 60
1493 boxtype: FL_NO_BOX
1494 colors: FL_BLACK FL_COL1
1495 alignment: FL_ALIGN_TOP_LEFT
1496 style: FL_NORMAL_STYLE
1497 size: FL_DEFAULT_SIZE
1498 lcol: FL_BLACK
1499 label: Advanced Options
1500 shortcut:
1501 resize: FL_RESIZE_ALL
1502 gravity: FL_NoGravity FL_NoGravity
1503 name:
1504 callback:
1505 argument:
1506
1507 --------------------
1508 class: FL_LABELFRAME
1509 type: ENGRAVED_FRAME
1510 box: 15 20 425 55
1511 boxtype: FL_NO_BOX
1512 colors: FL_BLACK FL_COL1
1513 alignment: FL_ALIGN_TOP_LEFT
1514 style: FL_NORMAL_STYLE
1515 size: FL_DEFAULT_SIZE
1516 lcol: FL_BLACK
1517 label: Interface
1518 shortcut:
1519 resize: FL_RESIZE_ALL
1520 gravity: FL_NoGravity FL_NoGravity
1521 name:
1522 callback:
1523 argument:
1524
1525 --------------------
1526 class: FL_LABELFRAME
1527 type: ENGRAVED_FRAME
1528 box: 15 90 425 140
1529 boxtype: FL_NO_BOX
1530 colors: FL_BLACK FL_COL1
1531 alignment: FL_ALIGN_TOP_LEFT
1532 style: FL_NORMAL_STYLE
1533 size: FL_DEFAULT_SIZE
1534 lcol: FL_BLACK
1535 label: Language Options
1536 shortcut:
1537 resize: FL_RESIZE_ALL
1538 gravity: FL_NoGravity FL_NoGravity
1539 name:
1540 callback:
1541 argument:
1542
1543 =============== FORM ===============
1544 Name: form_preferences_language
1545 Width: 450
1546 Height: 360
1547 Number of Objects: 20
1548
1549 --------------------
1550 class: FL_BOX
1551 type: FLAT_BOX
1552 box: 0 0 450 360
1553 boxtype: FL_FLAT_BOX
1554 colors: FL_COL1 FL_COL1
1555 alignment: FL_ALIGN_CENTER
1556 style: FL_NORMAL_STYLE
1557 size: FL_DEFAULT_SIZE
1558 lcol: FL_BLACK
1559 label:
1560 shortcut:
1561 resize: FL_RESIZE_ALL
1562 gravity: FL_NoGravity FL_NoGravity
1563 name:
1564 callback:
1565 argument:
1566
1567 --------------------
1568 class: FL_FRAME
1569 type: ENGRAVED_FRAME
1570 box: 5 10 440 80
1571 boxtype: FL_NO_BOX
1572 colors: FL_BLACK FL_COL1
1573 alignment: FL_ALIGN_CENTER
1574 style: FL_NORMAL_STYLE
1575 size: FL_DEFAULT_SIZE
1576 lcol: FL_BLACK
1577 label:
1578 shortcut:
1579 resize: FL_RESIZE_ALL
1580 gravity: FL_NoGravity FL_NoGravity
1581 name:
1582 callback:
1583 argument:
1584
1585 --------------------
1586 class: FL_INPUT
1587 type: NORMAL_INPUT
1588 box: 131 18 300 30
1589 boxtype: FL_DOWN_BOX
1590 colors: FL_COL1 FL_MCOL
1591 alignment: FL_ALIGN_LEFT
1592 style: FL_NORMAL_STYLE
1593 size: FL_NORMAL_SIZE
1594 lcol: FL_BLACK
1595 label: Package:|#P
1596 shortcut:
1597 resize: FL_RESIZE_ALL
1598 gravity: FL_NoGravity FL_NoGravity
1599 name: input_package
1600 callback: C_FormBaseInputCB
1601 argument: 0
1602
1603 --------------------
1604 class: FL_CHOICE
1605 type: NORMAL_CHOICE
1606 box: 231 56 200 30
1607 boxtype: FL_FRAME_BOX
1608 colors: FL_COL1 FL_BLACK
1609 alignment: FL_ALIGN_LEFT
1610 style: FL_NORMAL_STYLE
1611 size: FL_DEFAULT_SIZE
1612 lcol: FL_BLACK
1613 label: Default language:|#l
1614 shortcut:
1615 resize: FL_RESIZE_ALL
1616 gravity: FL_NoGravity FL_NoGravity
1617 name: choice_default_lang
1618 callback: C_FormBaseInputCB
1619 argument: 0
1620
1621 --------------------
1622 class: FL_CHECKBUTTON
1623 type: PUSH_BUTTON
1624 box: 78 113 30 30
1625 boxtype: FL_NO_BOX
1626 colors: FL_COL1 FL_YELLOW
1627 alignment: FL_ALIGN_LEFT
1628 style: FL_NORMAL_STYLE
1629 size: FL_NORMAL_SIZE
1630 lcol: FL_BLACK
1631 label: Keyboard\nmap|#K
1632 shortcut:
1633 resize: FL_RESIZE_ALL
1634 gravity: FL_NoGravity FL_NoGravity
1635 name: check_use_kbmap
1636 callback: C_FormBaseInputCB
1637 argument: 0
1638
1639 --------------------
1640 class: FL_INPUT
1641 type: NORMAL_INPUT
1642 box: 145 100 190 30
1643 boxtype: FL_DOWN_BOX
1644 colors: FL_COL1 FL_MCOL
1645 alignment: FL_ALIGN_LEFT
1646 style: FL_NORMAL_STYLE
1647 size: FL_NORMAL_SIZE
1648 lcol: FL_BLACK
1649 label: 1st:|#1
1650 shortcut:
1651 resize: FL_RESIZE_ALL
1652 gravity: FL_NoGravity FL_NoGravity
1653 name: input_kbmap1
1654 callback: C_FormBaseInputCB
1655 argument: 0
1656
1657 --------------------
1658 class: FL_INPUT
1659 type: NORMAL_INPUT
1660 box: 145 135 190 30
1661 boxtype: FL_DOWN_BOX
1662 colors: FL_COL1 FL_MCOL
1663 alignment: FL_ALIGN_LEFT
1664 style: FL_NORMAL_STYLE
1665 size: FL_NORMAL_SIZE
1666 lcol: FL_BLACK
1667 label: 2nd:|#2
1668 shortcut:
1669 resize: FL_RESIZE_ALL
1670 gravity: FL_NoGravity FL_NoGravity
1671 name: input_kbmap2
1672 callback: C_FormBaseInputCB
1673 argument: 0
1674
1675 --------------------
1676 class: FL_BUTTON
1677 type: NORMAL_BUTTON
1678 box: 340 100 100 30
1679 boxtype: FL_UP_BOX
1680 colors: FL_COL1 FL_COL1
1681 alignment: FL_ALIGN_CENTER
1682 style: FL_NORMAL_STYLE
1683 size: FL_DEFAULT_SIZE
1684 lcol: FL_BLACK
1685 label: Browse...|#o
1686 shortcut:
1687 resize: FL_RESIZE_ALL
1688 gravity: FL_NoGravity FL_NoGravity
1689 name: button_kbmap1_browse
1690 callback: C_FormBaseInputCB
1691 argument: 0
1692
1693 --------------------
1694 class: FL_BUTTON
1695 type: NORMAL_BUTTON
1696 box: 340 135 100 30
1697 boxtype: FL_UP_BOX
1698 colors: FL_COL1 FL_COL1
1699 alignment: FL_ALIGN_CENTER
1700 style: FL_NORMAL_STYLE
1701 size: FL_DEFAULT_SIZE
1702 lcol: FL_BLACK
1703 label: Browse...|#w
1704 shortcut:
1705 resize: FL_RESIZE_ALL
1706 gravity: FL_NoGravity FL_NoGravity
1707 name: button_kbmap2_browse
1708 callback: C_FormBaseInputCB
1709 argument: 0
1710
1711 --------------------
1712 class: FL_CHECKBUTTON
1713 type: PUSH_BUTTON
1714 box: 140 175 30 30
1715 boxtype: FL_NO_BOX
1716 colors: FL_COL1 FL_YELLOW
1717 alignment: FL_ALIGN_LEFT
1718 style: FL_NORMAL_STYLE
1719 size: FL_NORMAL_SIZE
1720 lcol: FL_BLACK
1721 label: RtL support|#R
1722 shortcut:
1723 resize: FL_RESIZE_ALL
1724 gravity: FL_NoGravity FL_NoGravity
1725 name: check_rtl_support
1726 callback: C_FormBaseInputCB
1727 argument: 0
1728
1729 --------------------
1730 class: FL_CHECKBUTTON
1731 type: PUSH_BUTTON
1732 box: 265 175 30 30
1733 boxtype: FL_NO_BOX
1734 colors: FL_COL1 FL_YELLOW
1735 alignment: FL_ALIGN_LEFT
1736 style: FL_NORMAL_STYLE
1737 size: FL_NORMAL_SIZE
1738 lcol: FL_BLACK
1739 label: Auto begin|#b
1740 shortcut:
1741 resize: FL_RESIZE_ALL
1742 gravity: FL_NoGravity FL_NoGravity
1743 name: check_auto_begin
1744 callback: C_FormBaseInputCB
1745 argument: 0
1746
1747 --------------------
1748 class: FL_CHECKBUTTON
1749 type: PUSH_BUTTON
1750 box: 390 175 30 30
1751 boxtype: FL_NO_BOX
1752 colors: FL_COL1 FL_YELLOW
1753 alignment: FL_ALIGN_LEFT
1754 style: FL_NORMAL_STYLE
1755 size: FL_NORMAL_SIZE
1756 lcol: FL_BLACK
1757 label: Use babel|#U
1758 shortcut:
1759 resize: FL_RESIZE_ALL
1760 gravity: FL_NoGravity FL_NoGravity
1761 name: check_use_babel
1762 callback: C_FormBaseInputCB
1763 argument: 0
1764
1765 --------------------
1766 class: FL_CHECKBUTTON
1767 type: PUSH_BUTTON
1768 box: 140 205 30 30
1769 boxtype: FL_NO_BOX
1770 colors: FL_COL1 FL_YELLOW
1771 alignment: FL_ALIGN_LEFT
1772 style: FL_NORMAL_STYLE
1773 size: FL_NORMAL_SIZE
1774 lcol: FL_BLACK
1775 label: Mark foreign|#M
1776 shortcut:
1777 resize: FL_RESIZE_ALL
1778 gravity: FL_NoGravity FL_NoGravity
1779 name: check_mark_foreign
1780 callback: C_FormBaseInputCB
1781 argument: 0
1782
1783 --------------------
1784 class: FL_CHECKBUTTON
1785 type: PUSH_BUTTON
1786 box: 265 205 30 30
1787 boxtype: FL_NO_BOX
1788 colors: FL_COL1 FL_YELLOW
1789 alignment: FL_ALIGN_LEFT
1790 style: FL_NORMAL_STYLE
1791 size: FL_NORMAL_SIZE
1792 lcol: FL_BLACK
1793 label: Auto finish|#f
1794 shortcut:
1795 resize: FL_RESIZE_ALL
1796 gravity: FL_NoGravity FL_NoGravity
1797 name: check_auto_end
1798 callback: C_FormBaseInputCB
1799 argument: 0
1800
1801 --------------------
1802 class: FL_CHECKBUTTON
1803 type: PUSH_BUTTON
1804 box: 390 205 30 30
1805 boxtype: FL_NO_BOX
1806 colors: FL_COL1 FL_YELLOW
1807 alignment: FL_ALIGN_LEFT
1808 style: FL_NORMAL_STYLE
1809 size: FL_NORMAL_SIZE
1810 lcol: FL_BLACK
1811 label: Global|#G
1812 shortcut:
1813 resize: FL_RESIZE_ALL
1814 gravity: FL_NoGravity FL_NoGravity
1815 name: check_global_options
1816 callback: C_FormBaseInputCB
1817 argument: 0
1818
1819 --------------------
1820 class: FL_INPUT
1821 type: NORMAL_INPUT
1822 box: 130 245 300 30
1823 boxtype: FL_DOWN_BOX
1824 colors: FL_COL1 FL_MCOL
1825 alignment: FL_ALIGN_LEFT
1826 style: FL_NORMAL_STYLE
1827 size: FL_NORMAL_SIZE
1828 lcol: FL_BLACK
1829 label: Command start:|#s
1830 shortcut:
1831 resize: FL_RESIZE_ALL
1832 gravity: FL_NoGravity FL_NoGravity
1833 name: input_command_begin
1834 callback: C_FormBaseInputCB
1835 argument: 0
1836
1837 --------------------
1838 class: FL_INPUT
1839 type: NORMAL_INPUT
1840 box: 130 280 300 30
1841 boxtype: FL_DOWN_BOX
1842 colors: FL_COL1 FL_MCOL
1843 alignment: FL_ALIGN_LEFT
1844 style: FL_NORMAL_STYLE
1845 size: FL_NORMAL_SIZE
1846 lcol: FL_BLACK
1847 label: Command end:|#e
1848 shortcut:
1849 resize: FL_RESIZE_ALL
1850 gravity: FL_NoGravity FL_NoGravity
1851 name: input_command_end
1852 callback: C_FormBaseInputCB
1853 argument: 0
1854
1855 --------------------
1856 class: FL_FRAME
1857 type: ENGRAVED_FRAME
1858 box: 5 175 440 60
1859 boxtype: FL_NO_BOX
1860 colors: FL_BLACK FL_COL1
1861 alignment: FL_ALIGN_CENTER
1862 style: FL_NORMAL_STYLE
1863 size: FL_DEFAULT_SIZE
1864 lcol: FL_BLACK
1865 label:
1866 shortcut:
1867 resize: FL_RESIZE_ALL
1868 gravity: FL_NoGravity FL_NoGravity
1869 name:
1870 callback:
1871 argument:
1872
1873 --------------------
1874 class: FL_FRAME
1875 type: ENGRAVED_FRAME
1876 box: 5 240 440 80
1877 boxtype: FL_NO_BOX
1878 colors: FL_BLACK FL_COL1
1879 alignment: FL_ALIGN_CENTER
1880 style: FL_NORMAL_STYLE
1881 size: FL_DEFAULT_SIZE
1882 lcol: FL_BLACK
1883 label:
1884 shortcut:
1885 resize: FL_RESIZE_ALL
1886 gravity: FL_NoGravity FL_NoGravity
1887 name:
1888 callback:
1889 argument:
1890
1891 --------------------
1892 class: FL_FRAME
1893 type: ENGRAVED_FRAME
1894 box: 5 95 440 75
1895 boxtype: FL_NO_BOX
1896 colors: FL_BLACK FL_COL1
1897 alignment: FL_ALIGN_CENTER
1898 style: FL_NORMAL_STYLE
1899 size: FL_DEFAULT_SIZE
1900 lcol: FL_BLACK
1901 label:
1902 shortcut:
1903 resize: FL_RESIZE_ALL
1904 gravity: FL_NoGravity FL_NoGravity
1905 name:
1906 callback:
1907 argument:
1908
1909 =============== FORM ===============
1910 Name: form_preferences_formats
1911 Width: 450
1912 Height: 360
1913 Number of Objects: 9
1914
1915 --------------------
1916 class: FL_BOX
1917 type: FLAT_BOX
1918 box: 0 0 450 360
1919 boxtype: FL_FLAT_BOX
1920 colors: FL_COL1 FL_COL1
1921 alignment: FL_ALIGN_CENTER
1922 style: FL_NORMAL_STYLE
1923 size: FL_DEFAULT_SIZE
1924 lcol: FL_BLACK
1925 label:
1926 shortcut:
1927 resize: FL_RESIZE_ALL
1928 gravity: FL_NoGravity FL_NoGravity
1929 name:
1930 callback:
1931 argument:
1932
1933 --------------------
1934 class: FL_BROWSER
1935 type: HOLD_BROWSER
1936 box: 30 30 160 270
1937 boxtype: FL_DOWN_BOX
1938 colors: FL_COL1 FL_YELLOW
1939 alignment: FL_ALIGN_TOP
1940 style: FL_NORMAL_STYLE
1941 size: FL_NORMAL_SIZE
1942 lcol: FL_BLACK
1943 label: All formats:|#l
1944 shortcut:
1945 resize: FL_RESIZE_ALL
1946 gravity: FL_NoGravity FL_NoGravity
1947 name: browser_all
1948 callback: C_FormBaseInputCB
1949 argument: 0
1950
1951 --------------------
1952 class: FL_INPUT
1953 type: NORMAL_INPUT
1954 box: 280 30 150 30
1955 boxtype: FL_DOWN_BOX
1956 colors: FL_COL1 FL_MCOL
1957 alignment: FL_ALIGN_LEFT
1958 style: FL_NORMAL_STYLE
1959 size: FL_NORMAL_SIZE
1960 lcol: FL_BLACK
1961 label: Format:|#F
1962 shortcut:
1963 resize: FL_RESIZE_ALL
1964 gravity: FL_NoGravity FL_NoGravity
1965 name: input_format
1966 callback: C_FormBaseInputCB
1967 argument: 0
1968
1969 --------------------
1970 class: FL_INPUT
1971 type: NORMAL_INPUT
1972 box: 280 70 150 30
1973 boxtype: FL_DOWN_BOX
1974 colors: FL_COL1 FL_MCOL
1975 alignment: FL_ALIGN_LEFT
1976 style: FL_NORMAL_STYLE
1977 size: FL_NORMAL_SIZE
1978 lcol: FL_BLACK
1979 label: GUI name:|#G
1980 shortcut:
1981 resize: FL_RESIZE_ALL
1982 gravity: FL_NoGravity FL_NoGravity
1983 name: input_gui_name
1984 callback: C_FormBaseInputCB
1985 argument: 0
1986
1987 --------------------
1988 class: FL_INPUT
1989 type: NORMAL_INPUT
1990 box: 280 110 150 30
1991 boxtype: FL_DOWN_BOX
1992 colors: FL_COL1 FL_MCOL
1993 alignment: FL_ALIGN_LEFT
1994 style: FL_NORMAL_STYLE
1995 size: FL_NORMAL_SIZE
1996 lcol: FL_BLACK
1997 label: Shortcut:|#S
1998 shortcut:
1999 resize: FL_RESIZE_ALL
2000 gravity: FL_NoGravity FL_NoGravity
2001 name: input_shrtcut
2002 callback: C_FormBaseInputCB
2003 argument: 0
2004
2005 --------------------
2006 class: FL_INPUT
2007 type: NORMAL_INPUT
2008 box: 280 150 150 30
2009 boxtype: FL_DOWN_BOX
2010 colors: FL_COL1 FL_MCOL
2011 alignment: FL_ALIGN_LEFT
2012 style: FL_NORMAL_STYLE
2013 size: FL_NORMAL_SIZE
2014 lcol: FL_BLACK
2015 label: Extension:|#E
2016 shortcut:
2017 resize: FL_RESIZE_ALL
2018 gravity: FL_NoGravity FL_NoGravity
2019 name: input_extension
2020 callback: C_FormBaseInputCB
2021 argument: 0
2022
2023 --------------------
2024 class: FL_INPUT
2025 type: NORMAL_INPUT
2026 box: 280 190 150 30
2027 boxtype: FL_DOWN_BOX
2028 colors: FL_COL1 FL_MCOL
2029 alignment: FL_ALIGN_LEFT
2030 style: FL_NORMAL_STYLE
2031 size: FL_NORMAL_SIZE
2032 lcol: FL_BLACK
2033 label: Viewer:|#V
2034 shortcut:
2035 resize: FL_RESIZE_ALL
2036 gravity: FL_NoGravity FL_NoGravity
2037 name: input_viewer
2038 callback: C_FormBaseInputCB
2039 argument: 0
2040
2041 --------------------
2042 class: FL_BUTTON
2043 type: NORMAL_BUTTON
2044 box: 240 270 90 30
2045 boxtype: FL_UP_BOX
2046 colors: FL_COL1 FL_COL1
2047 alignment: FL_ALIGN_CENTER
2048 style: FL_NORMAL_STYLE
2049 size: FL_NORMAL_SIZE
2050 lcol: FL_BLACK
2051 label: Add|#A
2052 shortcut:
2053 resize: FL_RESIZE_ALL
2054 gravity: FL_NoGravity FL_NoGravity
2055 name: button_add
2056 callback: C_FormBaseInputCB
2057 argument: 0
2058
2059 --------------------
2060 class: FL_BUTTON
2061 type: NORMAL_BUTTON
2062 box: 340 270 90 30
2063 boxtype: FL_UP_BOX
2064 colors: FL_COL1 FL_COL1
2065 alignment: FL_ALIGN_CENTER
2066 style: FL_NORMAL_STYLE
2067 size: FL_NORMAL_SIZE
2068 lcol: FL_BLACK
2069 label: Delete|#D
2070 shortcut:
2071 resize: FL_RESIZE_ALL
2072 gravity: FL_NoGravity FL_NoGravity
2073 name: button_delete
2074 callback: C_FormBaseInputCB
2075 argument: 0
2076
2077 =============== FORM ===============
2078 Name: form_preferences_converters
2079 Width: 450
2080 Height: 360
2081 Number of Objects: 8
2082
2083 --------------------
2084 class: FL_BOX
2085 type: FLAT_BOX
2086 box: 0 0 450 360
2087 boxtype: FL_FLAT_BOX
2088 colors: FL_COL1 FL_COL1
2089 alignment: FL_ALIGN_CENTER
2090 style: FL_NORMAL_STYLE
2091 size: FL_DEFAULT_SIZE
2092 lcol: FL_BLACK
2093 label:
2094 shortcut:
2095 resize: FL_RESIZE_ALL
2096 gravity: FL_NoGravity FL_NoGravity
2097 name:
2098 callback:
2099 argument:
2100
2101 --------------------
2102 class: FL_BROWSER
2103 type: HOLD_BROWSER
2104 box: 30 30 160 270
2105 boxtype: FL_DOWN_BOX
2106 colors: FL_COL1 FL_YELLOW
2107 alignment: FL_ALIGN_TOP
2108 style: FL_NORMAL_STYLE
2109 size: FL_NORMAL_SIZE
2110 lcol: FL_BLACK
2111 label: All converters:|#l
2112 shortcut:
2113 resize: FL_RESIZE_ALL
2114 gravity: FL_NoGravity FL_NoGravity
2115 name: browser_all
2116 callback: C_FormBaseInputCB
2117 argument: 0
2118
2119 --------------------
2120 class: FL_CHOICE
2121 type: NORMAL_CHOICE
2122 box: 280 30 150 30
2123 boxtype: FL_FRAME_BOX
2124 colors: FL_COL1 FL_BLACK
2125 alignment: FL_ALIGN_LEFT
2126 style: FL_NORMAL_STYLE
2127 size: FL_DEFAULT_SIZE
2128 lcol: FL_BLACK
2129 label: From:|#F
2130 shortcut:
2131 resize: FL_RESIZE_ALL
2132 gravity: FL_NoGravity FL_NoGravity
2133 name: choice_from
2134 callback: C_FormBaseInputCB
2135 argument: 0
2136
2137 --------------------
2138 class: FL_CHOICE
2139 type: NORMAL_CHOICE
2140 box: 280 70 150 30
2141 boxtype: FL_FRAME_BOX
2142 colors: FL_COL1 FL_BLACK
2143 alignment: FL_ALIGN_LEFT
2144 style: FL_NORMAL_STYLE
2145 size: FL_DEFAULT_SIZE
2146 lcol: FL_BLACK
2147 label: To:|#T
2148 shortcut:
2149 resize: FL_RESIZE_ALL
2150 gravity: FL_NoGravity FL_NoGravity
2151 name: choice_to
2152 callback: C_FormBaseInputCB
2153 argument: 0
2154
2155 --------------------
2156 class: FL_INPUT
2157 type: NORMAL_INPUT
2158 box: 280 110 150 30
2159 boxtype: FL_DOWN_BOX
2160 colors: FL_COL1 FL_MCOL
2161 alignment: FL_ALIGN_LEFT
2162 style: FL_NORMAL_STYLE
2163 size: FL_NORMAL_SIZE
2164 lcol: FL_BLACK
2165 label: Converter:|#C
2166 shortcut:
2167 resize: FL_RESIZE_ALL
2168 gravity: FL_NoGravity FL_NoGravity
2169 name: input_converter
2170 callback: C_FormBaseInputCB
2171 argument: 0
2172
2173 --------------------
2174 class: FL_INPUT
2175 type: NORMAL_INPUT
2176 box: 280 150 150 30
2177 boxtype: FL_DOWN_BOX
2178 colors: FL_COL1 FL_MCOL
2179 alignment: FL_ALIGN_LEFT
2180 style: FL_NORMAL_STYLE
2181 size: FL_NORMAL_SIZE
2182 lcol: FL_BLACK
2183 label: Extra flags:|#E
2184 shortcut:
2185 resize: FL_RESIZE_ALL
2186 gravity: FL_NoGravity FL_NoGravity
2187 name: input_flags
2188 callback: C_FormBaseInputCB
2189 argument: 0
2190
2191 --------------------
2192 class: FL_BUTTON
2193 type: NORMAL_BUTTON
2194 box: 240 270 90 30
2195 boxtype: FL_UP_BOX
2196 colors: FL_COL1 FL_COL1
2197 alignment: FL_ALIGN_CENTER
2198 style: FL_NORMAL_STYLE
2199 size: FL_NORMAL_SIZE
2200 lcol: FL_BLACK
2201 label: Add|#A
2202 shortcut:
2203 resize: FL_RESIZE_ALL
2204 gravity: FL_NoGravity FL_NoGravity
2205 name: button_add
2206 callback: C_FormBaseInputCB
2207 argument: 0
2208
2209 --------------------
2210 class: FL_BUTTON
2211 type: NORMAL_BUTTON
2212 box: 340 270 90 30
2213 boxtype: FL_UP_BOX
2214 colors: FL_COL1 FL_COL1
2215 alignment: FL_ALIGN_CENTER
2216 style: FL_NORMAL_STYLE
2217 size: FL_NORMAL_SIZE
2218 lcol: FL_BLACK
2219 label: Delete|#D
2220 shortcut:
2221 resize: FL_RESIZE_ALL
2222 gravity: FL_NoGravity FL_NoGravity
2223 name: button_delete
2224 callback: C_FormBaseInputCB
2225 argument: 0
2226
2227 =============== FORM ===============
2228 Name: form_preferences_paths
2229 Width: 450
2230 Height: 350
2231 Number of Objects: 17
2232
2233 --------------------
2234 class: FL_BOX
2235 type: FLAT_BOX
2236 box: 0 0 450 350
2237 boxtype: FL_FLAT_BOX
2238 colors: FL_COL1 FL_COL1
2239 alignment: FL_ALIGN_CENTER
2240 style: FL_NORMAL_STYLE
2241 size: FL_DEFAULT_SIZE
2242 lcol: FL_BLACK
2243 label:
2244 shortcut:
2245 resize: FL_RESIZE_ALL
2246 gravity: FL_NoGravity FL_NoGravity
2247 name:
2248 callback:
2249 argument:
2250
2251 --------------------
2252 class: FL_INPUT
2253 type: NORMAL_INPUT
2254 box: 170 10 170 30
2255 boxtype: FL_DOWN_BOX
2256 colors: FL_COL1 FL_MCOL
2257 alignment: FL_ALIGN_LEFT
2258 style: FL_NORMAL_STYLE
2259 size: FL_NORMAL_SIZE
2260 lcol: FL_BLACK
2261 label: Default path:|#p
2262 shortcut:
2263 resize: FL_RESIZE_ALL
2264 gravity: FL_NoGravity FL_NoGravity
2265 name: input_default_path
2266 callback: C_FormBaseInputCB
2267 argument: 0
2268
2269 --------------------
2270 class: FL_BUTTON
2271 type: NORMAL_BUTTON
2272 box: 345 10 100 30
2273 boxtype: FL_UP_BOX
2274 colors: FL_COL1 FL_COL1
2275 alignment: FL_ALIGN_CENTER
2276 style: FL_NORMAL_STYLE
2277 size: FL_NORMAL_SIZE
2278 lcol: FL_BLACK
2279 label: Browse...
2280 shortcut:
2281 resize: FL_RESIZE_ALL
2282 gravity: FL_NoGravity FL_NoGravity
2283 name: button_default_path_browse
2284 callback: C_FormBaseInputCB
2285 argument: 0
2286
2287 --------------------
2288 class: FL_INPUT
2289 type: NORMAL_INPUT
2290 box: 170 45 170 30
2291 boxtype: FL_DOWN_BOX
2292 colors: FL_COL1 FL_MCOL
2293 alignment: FL_ALIGN_LEFT
2294 style: FL_NORMAL_STYLE
2295 size: FL_NORMAL_SIZE
2296 lcol: FL_BLACK
2297 label: Template path:|#T
2298 shortcut:
2299 resize: FL_RESIZE_ALL
2300 gravity: FL_NoGravity FL_NoGravity
2301 name: input_template_path
2302 callback: C_FormBaseInputCB
2303 argument: 0
2304
2305 --------------------
2306 class: FL_BUTTON
2307 type: NORMAL_BUTTON
2308 box: 345 45 100 30
2309 boxtype: FL_UP_BOX
2310 colors: FL_COL1 FL_COL1
2311 alignment: FL_ALIGN_CENTER
2312 style: FL_NORMAL_STYLE
2313 size: FL_NORMAL_SIZE
2314 lcol: FL_BLACK
2315 label: Browse...
2316 shortcut:
2317 resize: FL_RESIZE_ALL
2318 gravity: FL_NoGravity FL_NoGravity
2319 name: button_template_path_browse
2320 callback: C_FormBaseInputCB
2321 argument: 0
2322
2323 --------------------
2324 class: FL_CHECKBUTTON
2325 type: PUSH_BUTTON
2326 box: 140 80 30 30
2327 boxtype: FL_NO_BOX
2328 colors: FL_COL1 FL_YELLOW
2329 alignment: FL_ALIGN_LEFT
2330 style: FL_NORMAL_STYLE
2331 size: FL_NORMAL_SIZE
2332 lcol: FL_BLACK
2333 label: Temp dir:|#d
2334 shortcut:
2335 resize: FL_RESIZE_ALL
2336 gravity: FL_NoGravity FL_NoGravity
2337 name: check_use_temp_dir
2338 callback: C_FormBaseInputCB
2339 argument: 0
2340         value: 1
2341
2342 --------------------
2343 class: FL_INPUT
2344 type: NORMAL_INPUT
2345 box: 170 80 170 30
2346 boxtype: FL_DOWN_BOX
2347 colors: FL_COL1 FL_MCOL
2348 alignment: FL_ALIGN_LEFT
2349 style: FL_NORMAL_STYLE
2350 size: FL_NORMAL_SIZE
2351 lcol: FL_BLACK
2352 label:
2353 shortcut:
2354 resize: FL_RESIZE_ALL
2355 gravity: FL_NoGravity FL_NoGravity
2356 name: input_temp_dir
2357 callback: C_FormBaseInputCB
2358 argument: 0
2359
2360 --------------------
2361 class: FL_BUTTON
2362 type: NORMAL_BUTTON
2363 box: 345 80 100 30
2364 boxtype: FL_UP_BOX
2365 colors: FL_COL1 FL_COL1
2366 alignment: FL_ALIGN_CENTER
2367 style: FL_NORMAL_STYLE
2368 size: FL_NORMAL_SIZE
2369 lcol: FL_BLACK
2370 label: Browse...
2371 shortcut:
2372 resize: FL_RESIZE_ALL
2373 gravity: FL_NoGravity FL_NoGravity
2374 name: button_temp_dir_browse
2375 callback: C_FormBaseInputCB
2376 argument: 0
2377
2378 --------------------
2379 class: FL_CHECKBUTTON
2380 type: PUSH_BUTTON
2381 box: 140 115 30 30
2382 boxtype: FL_NO_BOX
2383 colors: FL_COL1 FL_YELLOW
2384 alignment: FL_ALIGN_LEFT
2385 style: FL_NORMAL_STYLE
2386 size: FL_NORMAL_SIZE
2387 lcol: FL_BLACK
2388 label: Check last files:|#C
2389 shortcut:
2390 resize: FL_RESIZE_ALL
2391 gravity: FL_NoGravity FL_NoGravity
2392 name: check_last_files
2393 callback: C_FormBaseInputCB
2394 argument: 0
2395         value: 1
2396
2397 --------------------
2398 class: FL_INPUT
2399 type: NORMAL_INPUT
2400 box: 170 115 170 30
2401 boxtype: FL_DOWN_BOX
2402 colors: FL_COL1 FL_MCOL
2403 alignment: FL_ALIGN_LEFT
2404 style: FL_NORMAL_STYLE
2405 size: FL_NORMAL_SIZE
2406 lcol: FL_BLACK
2407 label:
2408 shortcut:
2409 resize: FL_RESIZE_ALL
2410 gravity: FL_NoGravity FL_NoGravity
2411 name: input_lastfiles
2412 callback: C_FormBaseInputCB
2413 argument: 0
2414
2415 --------------------
2416 class: FL_BUTTON
2417 type: NORMAL_BUTTON
2418 box: 345 115 100 30
2419 boxtype: FL_UP_BOX
2420 colors: FL_COL1 FL_COL1
2421 alignment: FL_ALIGN_CENTER
2422 style: FL_NORMAL_STYLE
2423 size: FL_NORMAL_SIZE
2424 lcol: FL_BLACK
2425 label: Browse...
2426 shortcut:
2427 resize: FL_RESIZE_ALL
2428 gravity: FL_NoGravity FL_NoGravity
2429 name: button_lastfiles_browse
2430 callback: C_FormBaseInputCB
2431 argument: 0
2432
2433 --------------------
2434 class: FL_COUNTER
2435 type: SIMPLE_COUNTER
2436 box: 170 150 90 30
2437 boxtype: FL_UP_BOX
2438 colors: FL_COL1 FL_BLUE
2439 alignment: FL_ALIGN_LEFT
2440 style: FL_NORMAL_STYLE
2441 size: FL_NORMAL_SIZE
2442 lcol: FL_BLACK
2443 label: Last file count:|#L
2444 shortcut:
2445 resize: FL_RESIZE_ALL
2446 gravity: FL_NoGravity FL_NoGravity
2447 name: counter_lastfiles
2448 callback: C_FormBaseInputCB
2449 argument: 0
2450   bounds: 0 9
2451   precision: 0
2452   value: 4
2453   sstep: 1
2454
2455 --------------------
2456 class: FL_CHECKBUTTON
2457 type: PUSH_BUTTON
2458 box: 140 205 30 30
2459 boxtype: FL_NO_BOX
2460 colors: FL_COL1 FL_YELLOW
2461 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2462 style: FL_NORMAL_STYLE
2463 size: FL_NORMAL_SIZE
2464 lcol: FL_BLACK
2465 label: Backup path:|#B
2466 shortcut:
2467 resize: FL_RESIZE_ALL
2468 gravity: FL_NoGravity FL_NoGravity
2469 name: check_make_backups
2470 callback: C_FormBaseInputCB
2471 argument: 0
2472         value: 1
2473
2474 --------------------
2475 class: FL_INPUT
2476 type: NORMAL_INPUT
2477 box: 170 205 170 30
2478 boxtype: FL_DOWN_BOX
2479 colors: FL_COL1 FL_MCOL
2480 alignment: FL_ALIGN_LEFT
2481 style: FL_NORMAL_STYLE
2482 size: FL_NORMAL_SIZE
2483 lcol: FL_BLACK
2484 label:
2485 shortcut:
2486 resize: FL_RESIZE_ALL
2487 gravity: FL_NoGravity FL_NoGravity
2488 name: input_backup_path
2489 callback: C_FormBaseInputCB
2490 argument: 0
2491
2492 --------------------
2493 class: FL_BUTTON
2494 type: NORMAL_BUTTON
2495 box: 345 205 100 30
2496 boxtype: FL_UP_BOX
2497 colors: FL_COL1 FL_COL1
2498 alignment: FL_ALIGN_CENTER
2499 style: FL_NORMAL_STYLE
2500 size: FL_NORMAL_SIZE
2501 lcol: FL_BLACK
2502 label: Browse...
2503 shortcut:
2504 resize: FL_RESIZE_ALL
2505 gravity: FL_NoGravity FL_NoGravity
2506 name: button_backup_path_browse
2507 callback: C_FormBaseInputCB
2508 argument: 0
2509
2510 --------------------
2511 class: FL_INPUT
2512 type: NORMAL_INPUT
2513 box: 170 245 170 30
2514 boxtype: FL_DOWN_BOX
2515 colors: FL_COL1 FL_MCOL
2516 alignment: FL_ALIGN_LEFT
2517 style: FL_NORMAL_STYLE
2518 size: FL_NORMAL_SIZE
2519 lcol: FL_BLACK
2520 label: LyXServer pipe:|#S
2521 shortcut:
2522 resize: FL_RESIZE_ALL
2523 gravity: FL_NoGravity FL_NoGravity
2524 name: input_serverpipe
2525 callback: C_FormBaseInputCB
2526 argument: 0
2527
2528 --------------------
2529 class: FL_BUTTON
2530 type: NORMAL_BUTTON
2531 box: 345 245 100 30
2532 boxtype: FL_UP_BOX
2533 colors: FL_COL1 FL_COL1
2534 alignment: FL_ALIGN_CENTER
2535 style: FL_NORMAL_STYLE
2536 size: FL_NORMAL_SIZE
2537 lcol: FL_BLACK
2538 label: Browse...
2539 shortcut:
2540 resize: FL_RESIZE_ALL
2541 gravity: FL_NoGravity FL_NoGravity
2542 name: button_serverpipe_browse
2543 callback: C_FormBaseInputCB
2544 argument: 0
2545
2546 =============== FORM ===============
2547 Name: form_preferences_inputs_misc
2548 Width: 450
2549 Height: 360
2550 Number of Objects: 2
2551
2552 --------------------
2553 class: FL_BOX
2554 type: FLAT_BOX
2555 box: 0 0 450 360
2556 boxtype: FL_FLAT_BOX
2557 colors: FL_COL1 FL_COL1
2558 alignment: FL_ALIGN_CENTER
2559 style: FL_NORMAL_STYLE
2560 size: FL_DEFAULT_SIZE
2561 lcol: FL_BLACK
2562 label:
2563 shortcut:
2564 resize: FL_RESIZE_ALL
2565 gravity: FL_NoGravity FL_NoGravity
2566 name:
2567 callback:
2568 argument:
2569
2570 --------------------
2571 class: FL_INPUT
2572 type: NORMAL_INPUT
2573 box: 120 70 285 30
2574 boxtype: FL_DOWN_BOX
2575 colors: FL_COL1 FL_MCOL
2576 alignment: FL_ALIGN_LEFT
2577 style: FL_NORMAL_STYLE
2578 size: FL_NORMAL_SIZE
2579 lcol: FL_BLACK
2580 label: Date format:|#f
2581 shortcut:
2582 resize: FL_RESIZE_ALL
2583 gravity: FL_NoGravity FL_NoGravity
2584 name: input_date_format
2585 callback: C_FormBaseInputCB
2586 argument: 0
2587
2588 =============== FORM ===============
2589 Name: form_preferences_printer
2590 Width: 450
2591 Height: 350
2592 Number of Objects: 21
2593
2594 --------------------
2595 class: FL_BOX
2596 type: FLAT_BOX
2597 box: 0 0 450 350
2598 boxtype: FL_FLAT_BOX
2599 colors: FL_COL1 FL_COL1
2600 alignment: FL_ALIGN_CENTER
2601 style: FL_NORMAL_STYLE
2602 size: FL_DEFAULT_SIZE
2603 lcol: FL_BLACK
2604 label:
2605 shortcut:
2606 resize: FL_RESIZE_ALL
2607 gravity: FL_NoGravity FL_NoGravity
2608 name:
2609 callback:
2610 argument:
2611
2612 --------------------
2613 class: FL_INPUT
2614 type: NORMAL_INPUT
2615 box: 130 10 80 30
2616 boxtype: FL_DOWN_BOX
2617 colors: FL_COL1 FL_MCOL
2618 alignment: FL_ALIGN_LEFT
2619 style: FL_NORMAL_STYLE
2620 size: FL_NORMAL_SIZE
2621 lcol: FL_BLACK
2622 label: Name:
2623 shortcut:
2624 resize: FL_RESIZE_ALL
2625 gravity: FL_NoGravity FL_NoGravity
2626 name: input_name
2627 callback: C_FormBaseInputCB
2628 argument: 0
2629
2630 --------------------
2631 class: FL_CHECKBUTTON
2632 type: PUSH_BUTTON
2633 box: 240 10 30 30
2634 boxtype: FL_NO_BOX
2635 colors: FL_COL1 FL_YELLOW
2636 alignment: FL_ALIGN_CENTER
2637 style: FL_NORMAL_STYLE
2638 size: FL_NORMAL_SIZE
2639 lcol: FL_BLACK
2640 label: Adapt output
2641 shortcut:
2642 resize: FL_RESIZE_ALL
2643 gravity: FL_NoGravity FL_NoGravity
2644 name: check_adapt_output
2645 callback: C_FormBaseInputCB
2646 argument: 0
2647
2648 --------------------
2649 class: FL_LABELFRAME
2650 type: ENGRAVED_FRAME
2651 box: 10 60 435 260
2652 boxtype: FL_NO_BOX
2653 colors: FL_BLACK FL_COL1
2654 alignment: FL_ALIGN_TOP_LEFT
2655 style: FL_NORMAL_STYLE
2656 size: FL_NORMAL_SIZE
2657 lcol: FL_BLACK
2658 label: Printer Command and Flags
2659 shortcut:
2660 resize: FL_RESIZE_ALL
2661 gravity: FL_NoGravity FL_NoGravity
2662 name:
2663 callback:
2664 argument:
2665
2666 --------------------
2667 class: FL_INPUT
2668 type: NORMAL_INPUT
2669 box: 130 75 80 30
2670 boxtype: FL_DOWN_BOX
2671 colors: FL_COL1 FL_MCOL
2672 alignment: FL_ALIGN_LEFT
2673 style: FL_NORMAL_STYLE
2674 size: FL_NORMAL_SIZE
2675 lcol: FL_BLACK
2676 label: Command:
2677 shortcut:
2678 resize: FL_RESIZE_ALL
2679 gravity: FL_NoGravity FL_NoGravity
2680 name: input_command
2681 callback: C_FormBaseInputCB
2682 argument: 0
2683
2684 --------------------
2685 class: FL_INPUT
2686 type: NORMAL_INPUT
2687 box: 130 105 80 30
2688 boxtype: FL_DOWN_BOX
2689 colors: FL_COL1 FL_MCOL
2690 alignment: FL_ALIGN_LEFT
2691 style: FL_NORMAL_STYLE
2692 size: FL_NORMAL_SIZE
2693 lcol: FL_BLACK
2694 label: Page range:
2695 shortcut:
2696 resize: FL_RESIZE_ALL
2697 gravity: FL_NoGravity FL_NoGravity
2698 name: input_page_range
2699 callback: C_FormBaseInputCB
2700 argument: 0
2701
2702 --------------------
2703 class: FL_INPUT
2704 type: NORMAL_INPUT
2705 box: 130 135 80 30
2706 boxtype: FL_DOWN_BOX
2707 colors: FL_COL1 FL_MCOL
2708 alignment: FL_ALIGN_LEFT
2709 style: FL_NORMAL_STYLE
2710 size: FL_NORMAL_SIZE
2711 lcol: FL_BLACK
2712 label: Copies:
2713 shortcut:
2714 resize: FL_RESIZE_ALL
2715 gravity: FL_NoGravity FL_NoGravity
2716 name: input_copies
2717 callback: C_FormBaseInputCB
2718 argument: 0
2719
2720 --------------------
2721 class: FL_INPUT
2722 type: NORMAL_INPUT
2723 box: 130 165 80 30
2724 boxtype: FL_DOWN_BOX
2725 colors: FL_COL1 FL_MCOL
2726 alignment: FL_ALIGN_LEFT
2727 style: FL_NORMAL_STYLE
2728 size: FL_NORMAL_SIZE
2729 lcol: FL_BLACK
2730 label: Reverse:
2731 shortcut:
2732 resize: FL_RESIZE_ALL
2733 gravity: FL_NoGravity FL_NoGravity
2734 name: input_reverse
2735 callback: C_FormBaseInputCB
2736 argument: 0
2737
2738 --------------------
2739 class: FL_INPUT
2740 type: NORMAL_INPUT
2741 box: 130 195 80 30
2742 boxtype: FL_DOWN_BOX
2743 colors: FL_COL1 FL_MCOL
2744 alignment: FL_ALIGN_LEFT
2745 style: FL_NORMAL_STYLE
2746 size: FL_NORMAL_SIZE
2747 lcol: FL_BLACK
2748 label: To printer:
2749 shortcut:
2750 resize: FL_RESIZE_ALL
2751 gravity: FL_NoGravity FL_NoGravity
2752 name: input_to_printer
2753 callback: C_FormBaseInputCB
2754 argument: 0
2755
2756 --------------------
2757 class: FL_INPUT
2758 type: NORMAL_INPUT
2759 box: 130 225 80 30
2760 boxtype: FL_DOWN_BOX
2761 colors: FL_COL1 FL_MCOL
2762 alignment: FL_ALIGN_LEFT
2763 style: FL_NORMAL_STYLE
2764 size: FL_NORMAL_SIZE
2765 lcol: FL_BLACK
2766 label: File extension:
2767 shortcut:
2768 resize: FL_RESIZE_ALL
2769 gravity: FL_NoGravity FL_NoGravity
2770 name: input_file_extension
2771 callback: C_FormBaseInputCB
2772 argument: 0
2773
2774 --------------------
2775 class: FL_INPUT
2776 type: NORMAL_INPUT
2777 box: 130 255 80 30
2778 boxtype: FL_DOWN_BOX
2779 colors: FL_COL1 FL_MCOL
2780 alignment: FL_ALIGN_LEFT
2781 style: FL_NORMAL_STYLE
2782 size: FL_NORMAL_SIZE
2783 lcol: FL_BLACK
2784 label: Spool command:
2785 shortcut:
2786 resize: FL_RESIZE_ALL
2787 gravity: FL_NoGravity FL_NoGravity
2788 name: input_spool_command
2789 callback: C_FormBaseInputCB
2790 argument: 0
2791
2792 --------------------
2793 class: FL_INPUT
2794 type: NORMAL_INPUT
2795 box: 130 285 80 30
2796 boxtype: FL_DOWN_BOX
2797 colors: FL_COL1 FL_MCOL
2798 alignment: FL_ALIGN_LEFT
2799 style: FL_NORMAL_STYLE
2800 size: FL_NORMAL_SIZE
2801 lcol: FL_BLACK
2802 label: Paper type:
2803 shortcut:
2804 resize: FL_RESIZE_ALL
2805 gravity: FL_NoGravity FL_NoGravity
2806 name: input_paper_type
2807 callback: C_FormBaseInputCB
2808 argument: 0
2809
2810 --------------------
2811 class: FL_INPUT
2812 type: NORMAL_INPUT
2813 box: 360 75 80 30
2814 boxtype: FL_DOWN_BOX
2815 colors: FL_COL1 FL_MCOL
2816 alignment: FL_ALIGN_LEFT
2817 style: FL_NORMAL_STYLE
2818 size: FL_NORMAL_SIZE
2819 lcol: FL_BLACK
2820 label: Even pages:
2821 shortcut:
2822 resize: FL_RESIZE_ALL
2823 gravity: FL_NoGravity FL_NoGravity
2824 name: input_even_pages
2825 callback: C_FormBaseInputCB
2826 argument: 0
2827
2828 --------------------
2829 class: FL_INPUT
2830 type: NORMAL_INPUT
2831 box: 360 105 80 30
2832 boxtype: FL_DOWN_BOX
2833 colors: FL_COL1 FL_MCOL
2834 alignment: FL_ALIGN_LEFT
2835 style: FL_NORMAL_STYLE
2836 size: FL_NORMAL_SIZE
2837 lcol: FL_BLACK
2838 label: Odd pages:
2839 shortcut:
2840 resize: FL_RESIZE_ALL
2841 gravity: FL_NoGravity FL_NoGravity
2842 name: input_odd_pages
2843 callback: C_FormBaseInputCB
2844 argument: 0
2845
2846 --------------------
2847 class: FL_INPUT
2848 type: NORMAL_INPUT
2849 box: 360 135 80 30
2850 boxtype: FL_DOWN_BOX
2851 colors: FL_COL1 FL_MCOL
2852 alignment: FL_ALIGN_LEFT
2853 style: FL_NORMAL_STYLE
2854 size: FL_NORMAL_SIZE
2855 lcol: FL_BLACK
2856 label: Collated:
2857 shortcut:
2858 resize: FL_RESIZE_ALL
2859 gravity: FL_NoGravity FL_NoGravity
2860 name: input_collated
2861 callback: C_FormBaseInputCB
2862 argument: 0
2863
2864 --------------------
2865 class: FL_INPUT
2866 type: NORMAL_INPUT
2867 box: 360 165 80 30
2868 boxtype: FL_DOWN_BOX
2869 colors: FL_COL1 FL_MCOL
2870 alignment: FL_ALIGN_LEFT
2871 style: FL_NORMAL_STYLE
2872 size: FL_NORMAL_SIZE
2873 lcol: FL_BLACK
2874 label: Landscape:
2875 shortcut:
2876 resize: FL_RESIZE_ALL
2877 gravity: FL_NoGravity FL_NoGravity
2878 name: input_landscape
2879 callback: C_FormBaseInputCB
2880 argument: 0
2881
2882 --------------------
2883 class: FL_INPUT
2884 type: NORMAL_INPUT
2885 box: 360 195 80 30
2886 boxtype: FL_DOWN_BOX
2887 colors: FL_COL1 FL_MCOL
2888 alignment: FL_ALIGN_LEFT
2889 style: FL_NORMAL_STYLE
2890 size: FL_NORMAL_SIZE
2891 lcol: FL_BLACK
2892 label: To file:
2893 shortcut:
2894 resize: FL_RESIZE_ALL
2895 gravity: FL_NoGravity FL_NoGravity
2896 name: input_to_file
2897 callback: C_FormBaseInputCB
2898 argument: 0
2899
2900 --------------------
2901 class: FL_INPUT
2902 type: NORMAL_INPUT
2903 box: 360 225 80 30
2904 boxtype: FL_DOWN_BOX
2905 colors: FL_COL1 FL_MCOL
2906 alignment: FL_ALIGN_LEFT
2907 style: FL_NORMAL_STYLE
2908 size: FL_NORMAL_SIZE
2909 lcol: FL_BLACK
2910 label: Extra options:
2911 shortcut:
2912 resize: FL_RESIZE_ALL
2913 gravity: FL_NoGravity FL_NoGravity
2914 name: input_extra_options
2915 callback: C_FormBaseInputCB
2916 argument: 0
2917
2918 --------------------
2919 class: FL_INPUT
2920 type: NORMAL_INPUT
2921 box: 360 255 80 30
2922 boxtype: FL_DOWN_BOX
2923 colors: FL_COL1 FL_MCOL
2924 alignment: FL_ALIGN_LEFT
2925 style: FL_NORMAL_STYLE
2926 size: FL_NORMAL_SIZE
2927 lcol: FL_BLACK
2928 label: Spool printer prefix:
2929 shortcut:
2930 resize: FL_RESIZE_ALL
2931 gravity: FL_NoGravity FL_NoGravity
2932 name: input_spool_prefix
2933 callback: C_FormBaseInputCB
2934 argument: 0
2935
2936 --------------------
2937 class: FL_INPUT
2938 type: NORMAL_INPUT
2939 box: 360 285 80 30
2940 boxtype: FL_DOWN_BOX
2941 colors: FL_COL1 FL_MCOL
2942 alignment: FL_ALIGN_LEFT
2943 style: FL_NORMAL_STYLE
2944 size: FL_NORMAL_SIZE
2945 lcol: FL_BLACK
2946 label: Paper size:
2947 shortcut:
2948 resize: FL_RESIZE_ALL
2949 gravity: FL_NoGravity FL_NoGravity
2950 name: input_paper_size
2951 callback: C_FormBaseInputCB
2952 argument: 0
2953
2954 --------------------
2955 class: FL_FRAME
2956 type: ENGRAVED_FRAME
2957 box: 10 5 435 45
2958 boxtype: FL_NO_BOX
2959 colors: FL_BLACK FL_COL1
2960 alignment: FL_ALIGN_CENTER
2961 style: FL_NORMAL_STYLE
2962 size: FL_DEFAULT_SIZE
2963 lcol: FL_BLACK
2964 label:
2965 shortcut:
2966 resize: FL_RESIZE_ALL
2967 gravity: FL_NoGravity FL_NoGravity
2968 name:
2969 callback:
2970 argument:
2971
2972 =============== FORM ===============
2973 Name: form_preferences_outputs_misc
2974 Width: 455
2975 Height: 375
2976 Number of Objects: 10
2977
2978 --------------------
2979 class: FL_BOX
2980 type: FLAT_BOX
2981 box: 0 0 455 375
2982 boxtype: FL_FLAT_BOX
2983 colors: FL_COL1 FL_COL1
2984 alignment: FL_ALIGN_CENTER
2985 style: FL_NORMAL_STYLE
2986 size: FL_DEFAULT_SIZE
2987 lcol: FL_BLACK
2988 label:
2989 shortcut:
2990 resize: FL_RESIZE_ALL
2991 gravity: FL_NorthWest FL_SouthEast
2992 name:
2993 callback:
2994 argument:
2995
2996 --------------------
2997 class: FL_FRAME
2998 type: ENGRAVED_FRAME
2999 box: 10 10 435 165
3000 boxtype: FL_NO_BOX
3001 colors: FL_BLACK FL_COL1
3002 alignment: FL_ALIGN_CENTER
3003 style: FL_NORMAL_STYLE
3004 size: FL_DEFAULT_SIZE
3005 lcol: FL_BLACK
3006 label:
3007 shortcut:
3008 resize: FL_RESIZE_ALL
3009 gravity: FL_NoGravity FL_NoGravity
3010 name:
3011 callback:
3012 argument:
3013
3014 --------------------
3015 class: FL_COUNTER
3016 type: NORMAL_COUNTER
3017 box: 330 25 100 30
3018 boxtype: FL_UP_BOX
3019 colors: FL_COL1 FL_BLUE
3020 alignment: FL_ALIGN_LEFT
3021 style: FL_NORMAL_STYLE
3022 size: FL_NORMAL_SIZE
3023 lcol: FL_BLACK
3024 label: ASCII line length:|#A
3025 shortcut:
3026 resize: FL_RESIZE_ALL
3027 gravity: FL_NoGravity FL_NoGravity
3028 name: counter_line_len
3029 callback: C_FormBaseInputCB
3030 argument: 0
3031   bounds: 0 120
3032   precision: 0
3033   value: 75
3034   sstep: 1
3035
3036 --------------------
3037 class: FL_INPUT
3038 type: NORMAL_INPUT
3039 box: 230 65 200 30
3040 boxtype: FL_DOWN_BOX
3041 colors: FL_COL1 FL_MCOL
3042 alignment: FL_ALIGN_LEFT
3043 style: FL_NORMAL_STYLE
3044 size: FL_NORMAL_SIZE
3045 lcol: FL_BLACK
3046 label: TeX encoding:|#T
3047 shortcut:
3048 resize: FL_RESIZE_ALL
3049 gravity: FL_NoGravity FL_NoGravity
3050 name: input_tex_encoding
3051 callback: C_FormBaseInputCB
3052 argument: 0
3053
3054 --------------------
3055 class: FL_CHOICE
3056 type: NORMAL_CHOICE
3057 box: 230 105 199 29
3058 boxtype: FL_FRAME_BOX
3059 colors: FL_COL1 FL_BLACK
3060 alignment: FL_ALIGN_LEFT
3061 style: FL_NORMAL_STYLE
3062 size: FL_NORMAL_SIZE
3063 lcol: FL_BLACK
3064 label: Default paper size:|#p
3065 shortcut:
3066 resize: FL_RESIZE_ALL
3067 gravity: FL_NoGravity FL_NoGravity
3068 name: choice_default_papersize
3069 callback: C_FormBaseInputCB
3070 argument: 0
3071
3072 --------------------
3073 class: FL_LABELFRAME
3074 type: ENGRAVED_FRAME
3075 box: 10 190 435 135
3076 boxtype: FL_NO_BOX
3077 colors: FL_BLACK FL_COL1
3078 alignment: FL_ALIGN_TOP_LEFT
3079 style: FL_NORMAL_STYLE
3080 size: FL_NORMAL_SIZE
3081 lcol: FL_BLACK
3082 label: Outside Code Interaction
3083 shortcut:
3084 resize: FL_RESIZE_ALL
3085 gravity: FL_NoGravity FL_NoGravity
3086 name:
3087 callback:
3088 argument:
3089
3090 --------------------
3091 class: FL_INPUT
3092 type: NORMAL_INPUT
3093 box: 145 205 285 30
3094 boxtype: FL_DOWN_BOX
3095 colors: FL_COL1 FL_MCOL
3096 alignment: FL_ALIGN_LEFT
3097 style: FL_NORMAL_STYLE
3098 size: FL_NORMAL_SIZE
3099 lcol: FL_BLACK
3100 label: ASCII roff:|#r
3101 shortcut:
3102 resize: FL_RESIZE_ALL
3103 gravity: FL_NoGravity FL_NoGravity
3104 name: input_ascii_roff
3105 callback: C_FormBaseInputCB
3106 argument: 0
3107
3108 --------------------
3109 class: FL_INPUT
3110 type: NORMAL_INPUT
3111 box: 145 245 285 30
3112 boxtype: FL_DOWN_BOX
3113 colors: FL_COL1 FL_MCOL
3114 alignment: FL_ALIGN_LEFT
3115 style: FL_NORMAL_STYLE
3116 size: FL_NORMAL_SIZE
3117 lcol: FL_BLACK
3118 label: Checktex:|#c
3119 shortcut:
3120 resize: FL_RESIZE_ALL
3121 gravity: FL_NoGravity FL_NoGravity
3122 name: input_checktex
3123 callback: C_FormBaseInputCB
3124 argument: 0
3125
3126 --------------------
3127 class: FL_INPUT
3128 type: NORMAL_INPUT
3129 box: 145 285 285 30
3130 boxtype: FL_DOWN_BOX
3131 colors: FL_COL1 FL_MCOL
3132 alignment: FL_ALIGN_LEFT
3133 style: FL_NORMAL_STYLE
3134 size: FL_NORMAL_SIZE
3135 lcol: FL_BLACK
3136 label: DVI paper option:|#D
3137 shortcut:
3138 resize: FL_RESIZE_ALL
3139 gravity: FL_NoGravity FL_NoGravity
3140 name: input_paperoption
3141 callback: C_FormBaseInputCB
3142 argument: 0
3143
3144 --------------------
3145 class: FL_CHECKBUTTON
3146 type: PUSH_BUTTON
3147 box: 20 140 30 30
3148 boxtype: FL_NO_BOX
3149 colors: FL_COL1 FL_YELLOW
3150 alignment: FL_ALIGN_CENTER
3151 style: FL_NORMAL_STYLE
3152 size: FL_DEFAULT_SIZE
3153 lcol: FL_BLACK
3154 label: Autoreset Class Options on change|#u
3155 shortcut:
3156 resize: FL_RESIZE_ALL
3157 gravity: FL_NoGravity FL_NoGravity
3158 name: check_autoreset_classopt
3159 callback: C_FormBaseInputCB
3160 argument: 0
3161
3162 ==============================
3163 create_the_forms