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_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_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_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_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 0 0 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_lnf_misc
1102 Width: 450
1103 Height: 350
1104 Number of Objects: 19
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 15 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: Show banner|#S
1153 shortcut:
1154 resize: FL_RESIZE_ALL
1155 gravity: FL_NoGravity FL_NoGravity
1156 name: check_banner
1157 callback: C_FormBaseDeprecatedInputCB
1158 argument: 0
1159         value: 1
1160
1161 --------------------
1162 class: FL_CHECKBUTTON
1163 type: PUSH_BUTTON
1164 box: 15 45 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: Auto region delete|#A
1172 shortcut:
1173 resize: FL_RESIZE_ALL
1174 gravity: FL_NoGravity FL_NoGravity
1175 name: check_auto_region_delete
1176 callback: C_FormBaseDeprecatedInputCB
1177 argument: 0
1178         value: 1
1179
1180 --------------------
1181 class: FL_CHECKBUTTON
1182 type: PUSH_BUTTON
1183 box: 15 75 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: Exit confirmation|#E
1191 shortcut:
1192 resize: FL_RESIZE_ALL
1193 gravity: FL_NoGravity FL_NoGravity
1194 name: check_exit_confirm
1195 callback: C_FormBaseDeprecatedInputCB
1196 argument: 0
1197         value: 1
1198
1199 --------------------
1200 class: FL_CHECKBUTTON
1201 type: PUSH_BUTTON
1202 box: 15 105 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: Display keyboard shortcuts|#k
1210 shortcut:
1211 resize: FL_RESIZE_ALL
1212 gravity: FL_NoGravity FL_NoGravity
1213 name: check_display_shrtcuts
1214 callback: C_FormBaseDeprecatedInputCB
1215 argument: 0
1216         value: 1
1217
1218 --------------------
1219 class: FL_CHECKBUTTON
1220 type: PUSH_BUTTON
1221 box: 15 135 30 30
1222 boxtype: FL_NO_BOX
1223 colors: FL_COL1 FL_YELLOW
1224 alignment: FL_ALIGN_CENTER
1225 style: FL_NORMAL_STYLE
1226 size: FL_NORMAL_SIZE
1227 lcol: FL_BLACK
1228 label: File->New asks for name|#N
1229 shortcut:
1230 resize: FL_RESIZE_ALL
1231 gravity: FL_NoGravity FL_NoGravity
1232 name: check_ask_new_file
1233 callback: C_FormBaseDeprecatedInputCB
1234 argument: 0
1235         value: 1
1236
1237 --------------------
1238 class: FL_CHECKBUTTON
1239 type: PUSH_BUTTON
1240 box: 15 165 30 30
1241 boxtype: FL_NO_BOX
1242 colors: FL_COL1 FL_YELLOW
1243 alignment: FL_ALIGN_CENTER
1244 style: FL_NORMAL_STYLE
1245 size: FL_NORMAL_SIZE
1246 lcol: FL_BLACK
1247 label: Cursor follows scrollbar|#f
1248 shortcut:
1249 resize: FL_RESIZE_ALL
1250 gravity: FL_NoGravity FL_NoGravity
1251 name: check_cursor_follows_scrollbar
1252 callback: C_FormBaseDeprecatedInputCB
1253 argument: 0
1254         value: 1
1255
1256 --------------------
1257 class: FL_CHECKBUTTON
1258 type: PUSH_BUTTON
1259 box: 15 195 30 30
1260 boxtype: FL_NO_BOX
1261 colors: FL_COL1 FL_YELLOW
1262 alignment: FL_ALIGN_CENTER
1263 style: FL_NORMAL_STYLE
1264 size: FL_NORMAL_SIZE
1265 lcol: FL_BLACK
1266 label: Dialogs iconify with main window|#i
1267 shortcut:
1268 resize: FL_RESIZE_ALL
1269 gravity: FL_NoGravity FL_NoGravity
1270 name: check_dialogs_iconify_with_main
1271 callback: C_FormBaseDeprecatedInputCB
1272 argument: 0
1273         value: 1
1274
1275 --------------------
1276 class: FL_COUNTER
1277 type: NORMAL_COUNTER
1278 box: 20 235 115 30
1279 boxtype: FL_UP_BOX
1280 colors: FL_COL1 FL_BLUE
1281 alignment: FL_ALIGN_RIGHT
1282 style: FL_NORMAL_STYLE
1283 size: FL_NORMAL_SIZE
1284 lcol: FL_BLACK
1285 label: Wheel mouse jump
1286 shortcut:
1287 resize: FL_RESIZE_ALL
1288 gravity: FL_NoGravity FL_NoGravity
1289 name: counter_wm_jump
1290 callback: C_FormBaseDeprecatedInputCB
1291 argument: 0
1292   bounds: 0 250
1293   precision: 0
1294   value: 100
1295   sstep: 1
1296
1297 --------------------
1298 class: FL_COUNTER
1299 type: NORMAL_COUNTER
1300 box: 20 270 115 30
1301 boxtype: FL_UP_BOX
1302 colors: FL_COL1 FL_BLUE
1303 alignment: FL_ALIGN_RIGHT
1304 style: FL_NORMAL_STYLE
1305 size: FL_NORMAL_SIZE
1306 lcol: FL_BLACK
1307 label: Autosave interval
1308 shortcut:
1309 resize: FL_RESIZE_ALL
1310 gravity: FL_NoGravity FL_NoGravity
1311 name: counter_autosave
1312 callback: C_FormBaseDeprecatedInputCB
1313 argument: 0
1314   bounds: 0 1200
1315   precision: 0
1316   value: 300
1317   sstep: 1
1318
1319 --------------------
1320 class: FL_BEGIN_GROUP
1321 type: 0
1322 box: 0 0 0 0
1323 boxtype: FL_NO_BOX
1324 colors: FL_COL1 FL_MCOL
1325 alignment: FL_ALIGN_CENTER
1326 style: FL_NORMAL_STYLE
1327 size: FL_DEFAULT_SIZE
1328 lcol: FL_BLACK
1329 label:
1330 shortcut:
1331 resize: FL_RESIZE_ALL
1332 gravity: FL_NoGravity FL_NoGravity
1333 name:
1334 callback:
1335 argument:
1336
1337 --------------------
1338 class: FL_ROUND3DBUTTON
1339 type: RADIO_BUTTON
1340 box: 285 35 30 30
1341 boxtype: FL_NO_BOX
1342 colors: FL_COL1 FL_YELLOW
1343 alignment: FL_ALIGN_CENTER
1344 style: FL_NORMAL_STYLE
1345 size: FL_DEFAULT_SIZE
1346 lcol: FL_BLACK
1347 label: in Monochrome|#M
1348 shortcut:
1349 resize: FL_RESIZE_ALL
1350 gravity: FL_NoGravity FL_NoGravity
1351 name: radio_display_monochrome
1352 callback: C_FormBaseDeprecatedInputCB
1353 argument: 0
1354         value: 1
1355
1356 --------------------
1357 class: FL_ROUND3DBUTTON
1358 type: RADIO_BUTTON
1359 box: 285 65 30 30
1360 boxtype: FL_NO_BOX
1361 colors: FL_COL1 FL_YELLOW
1362 alignment: FL_ALIGN_CENTER
1363 style: FL_NORMAL_STYLE
1364 size: FL_DEFAULT_SIZE
1365 lcol: FL_BLACK
1366 label: in Grayscale|#G
1367 shortcut:
1368 resize: FL_RESIZE_ALL
1369 gravity: FL_NoGravity FL_NoGravity
1370 name: radio_display_grayscale
1371 callback: C_FormBaseDeprecatedInputCB
1372 argument: 0
1373
1374 --------------------
1375 class: FL_ROUND3DBUTTON
1376 type: RADIO_BUTTON
1377 box: 285 95 30 30
1378 boxtype: FL_NO_BOX
1379 colors: FL_COL1 FL_YELLOW
1380 alignment: FL_ALIGN_CENTER
1381 style: FL_NORMAL_STYLE
1382 size: FL_DEFAULT_SIZE
1383 lcol: FL_BLACK
1384 label: in Color|#C
1385 shortcut:
1386 resize: FL_RESIZE_ALL
1387 gravity: FL_NoGravity FL_NoGravity
1388 name: radio_display_color
1389 callback: C_FormBaseDeprecatedInputCB
1390 argument: 0
1391
1392 --------------------
1393 class: FL_ROUND3DBUTTON
1394 type: RADIO_BUTTON
1395 box: 285 125 30 30
1396 boxtype: FL_NO_BOX
1397 colors: FL_COL1 FL_YELLOW
1398 alignment: FL_ALIGN_CENTER
1399 style: FL_NORMAL_STYLE
1400 size: FL_DEFAULT_SIZE
1401 lcol: FL_BLACK
1402 label: Don't display|#D
1403 shortcut:
1404 resize: FL_RESIZE_ALL
1405 gravity: FL_NoGravity FL_NoGravity
1406 name: radio_no_display
1407 callback: C_FormBaseDeprecatedInputCB
1408 argument: 0
1409
1410 --------------------
1411 class: FL_END_GROUP
1412 type: 0
1413 box: 0 0 0 0
1414 boxtype: FL_NO_BOX
1415 colors: FL_COL1 FL_MCOL
1416 alignment: FL_ALIGN_CENTER
1417 style: FL_NORMAL_STYLE
1418 size: FL_DEFAULT_SIZE
1419 lcol: FL_BLACK
1420 label:
1421 shortcut:
1422 resize: FL_RESIZE_ALL
1423 gravity: FL_NoGravity FL_NoGravity
1424 name:
1425 callback:
1426 argument:
1427
1428 --------------------
1429 class: FL_LABELFRAME
1430 type: ENGRAVED_FRAME
1431 box: 275 15 160 210
1432 boxtype: FL_NO_BOX
1433 colors: FL_BLACK FL_COL1
1434 alignment: FL_ALIGN_TOP_LEFT
1435 style: FL_NORMAL_STYLE
1436 size: FL_DEFAULT_SIZE
1437 lcol: FL_BLACK
1438 label: Display Graphics
1439 shortcut:
1440 resize: FL_RESIZE_ALL
1441 gravity: FL_NoGravity FL_NoGravity
1442 name:
1443 callback:
1444 argument:
1445
1446 --------------------
1447 class: FL_FRAME
1448 type: ENGRAVED_FRAME
1449 box: 15 230 420 75
1450 boxtype: FL_NO_BOX
1451 colors: FL_BLACK FL_COL1
1452 alignment: FL_ALIGN_CENTER
1453 style: FL_NORMAL_STYLE
1454 size: FL_DEFAULT_SIZE
1455 lcol: FL_BLACK
1456 label:
1457 shortcut:
1458 resize: FL_RESIZE_ALL
1459 gravity: FL_NoGravity FL_NoGravity
1460 name:
1461 callback:
1462 argument:
1463
1464 =============== FORM ===============
1465 Name: form_spelloptions
1466 Width: 450
1467 Height: 360
1468 Number of Objects: 14
1469
1470 --------------------
1471 class: FL_BOX
1472 type: FLAT_BOX
1473 box: 0 0 450 360
1474 boxtype: FL_FLAT_BOX
1475 colors: FL_COL1 FL_COL1
1476 alignment: FL_ALIGN_CENTER
1477 style: FL_NORMAL_STYLE
1478 size: FL_DEFAULT_SIZE
1479 lcol: FL_BLACK
1480 label:
1481 shortcut:
1482 resize: FL_RESIZE_ALL
1483 gravity: FL_NoGravity FL_NoGravity
1484 name:
1485 callback:
1486 argument:
1487
1488 --------------------
1489 class: FL_CHOICE
1490 type: NORMAL_CHOICE
1491 box: 240 30 171 34
1492 boxtype: FL_FRAME_BOX
1493 colors: FL_COL1 FL_BLACK
1494 alignment: FL_ALIGN_LEFT
1495 style: FL_NORMAL_STYLE
1496 size: FL_NORMAL_SIZE
1497 lcol: FL_BLACK
1498 label: Spell command|#S
1499 shortcut:
1500 resize: FL_RESIZE_ALL
1501 gravity: FL_NoGravity FL_NoGravity
1502 name: choice_spell_command
1503 callback: C_FormBaseDeprecatedInputCB
1504 argument: 0
1505
1506 --------------------
1507 class: FL_CHECKBUTTON
1508 type: PUSH_BUTTON
1509 box: 208 100 30 30
1510 boxtype: FL_NO_BOX
1511 colors: FL_COL1 FL_YELLOW
1512 alignment: FL_ALIGN_LEFT
1513 style: FL_NORMAL_STYLE
1514 size: FL_NORMAL_SIZE
1515 lcol: FL_BLACK
1516 label: Use alternative language|#a
1517 shortcut:
1518 resize: FL_RESIZE_ALL
1519 gravity: FL_NoGravity FL_NoGravity
1520 name: check_alt_lang
1521 callback: C_FormBaseDeprecatedInputCB
1522 argument: 0
1523
1524 --------------------
1525 class: FL_INPUT
1526 type: NORMAL_INPUT
1527 box: 239 100 170 30
1528 boxtype: FL_DOWN_BOX
1529 colors: FL_COL1 FL_MCOL
1530 alignment: FL_ALIGN_LEFT
1531 style: FL_NORMAL_STYLE
1532 size: FL_DEFAULT_SIZE
1533 lcol: FL_BLACK
1534 label:
1535 shortcut:
1536 resize: FL_RESIZE_ALL
1537 gravity: FL_NoGravity FL_NoGravity
1538 name: input_alt_lang
1539 callback: C_FormBaseDeprecatedInputCB
1540 argument: 0
1541
1542 --------------------
1543 class: FL_CHECKBUTTON
1544 type: PUSH_BUTTON
1545 box: 208 130 30 30
1546 boxtype: FL_NO_BOX
1547 colors: FL_COL1 FL_YELLOW
1548 alignment: FL_ALIGN_LEFT
1549 style: FL_NORMAL_STYLE
1550 size: FL_NORMAL_SIZE
1551 lcol: FL_BLACK
1552 label: Use escape characters|#e
1553 shortcut:
1554 resize: FL_RESIZE_ALL
1555 gravity: FL_NoGravity FL_NoGravity
1556 name: check_escape_chars
1557 callback: C_FormBaseDeprecatedInputCB
1558 argument: 0
1559
1560 --------------------
1561 class: FL_INPUT
1562 type: NORMAL_INPUT
1563 box: 239 130 170 30
1564 boxtype: FL_DOWN_BOX
1565 colors: FL_COL1 FL_MCOL
1566 alignment: FL_ALIGN_LEFT
1567 style: FL_NORMAL_STYLE
1568 size: FL_DEFAULT_SIZE
1569 lcol: FL_BLACK
1570 label:
1571 shortcut:
1572 resize: FL_RESIZE_ALL
1573 gravity: FL_NoGravity FL_NoGravity
1574 name: input_escape_chars
1575 callback: C_FormBaseDeprecatedInputCB
1576 argument: 0
1577
1578 --------------------
1579 class: FL_CHECKBUTTON
1580 type: PUSH_BUTTON
1581 box: 208 160 30 30
1582 boxtype: FL_NO_BOX
1583 colors: FL_COL1 FL_YELLOW
1584 alignment: FL_ALIGN_LEFT
1585 style: FL_NORMAL_STYLE
1586 size: FL_NORMAL_SIZE
1587 lcol: FL_BLACK
1588 label: Use personal dictionary|#d
1589 shortcut:
1590 resize: FL_RESIZE_ALL
1591 gravity: FL_NoGravity FL_NoGravity
1592 name: check_personal_dict
1593 callback: C_FormBaseDeprecatedInputCB
1594 argument: 0
1595
1596 --------------------
1597 class: FL_INPUT
1598 type: NORMAL_INPUT
1599 box: 239 160 170 30
1600 boxtype: FL_DOWN_BOX
1601 colors: FL_COL1 FL_MCOL
1602 alignment: FL_ALIGN_LEFT
1603 style: FL_NORMAL_STYLE
1604 size: FL_DEFAULT_SIZE
1605 lcol: FL_BLACK
1606 label:
1607 shortcut:
1608 resize: FL_RESIZE_ALL
1609 gravity: FL_NoGravity FL_NoGravity
1610 name: input_personal_dict
1611 callback: C_FormBaseDeprecatedInputCB
1612 argument: 0
1613
1614 --------------------
1615 class: FL_BUTTON
1616 type: NORMAL_BUTTON
1617 box: 240 195 100 30
1618 boxtype: FL_UP_BOX
1619 colors: FL_COL1 FL_COL1
1620 alignment: FL_ALIGN_CENTER
1621 style: FL_NORMAL_STYLE
1622 size: FL_NORMAL_SIZE
1623 lcol: FL_BLACK
1624 label: Browse...|#B
1625 shortcut:
1626 resize: FL_RESIZE_ALL
1627 gravity: FL_NoGravity FL_NoGravity
1628 name: button_personal_dict
1629 callback: C_FormBaseDeprecatedInputCB
1630 argument: 0
1631
1632 --------------------
1633 class: FL_CHECKBUTTON
1634 type: PUSH_BUTTON
1635 box: 155 250 30 30
1636 boxtype: FL_NO_BOX
1637 colors: FL_COL1 FL_YELLOW
1638 alignment: FL_ALIGN_RIGHT
1639 style: FL_NORMAL_STYLE
1640 size: FL_NORMAL_SIZE
1641 lcol: FL_BLACK
1642 label: Accept compound words|#w
1643 shortcut:
1644 resize: FL_RESIZE_ALL
1645 gravity: FL_NoGravity FL_NoGravity
1646 name: check_compound_words
1647 callback: C_FormBaseDeprecatedInputCB
1648 argument: 0
1649
1650 --------------------
1651 class: FL_CHECKBUTTON
1652 type: PUSH_BUTTON
1653 box: 155 275 30 30
1654 boxtype: FL_NO_BOX
1655 colors: FL_COL1 FL_YELLOW
1656 alignment: FL_ALIGN_RIGHT
1657 style: FL_NORMAL_STYLE
1658 size: FL_NORMAL_SIZE
1659 lcol: FL_BLACK
1660 label: Use input encoding|#i
1661 shortcut:
1662 resize: FL_RESIZE_ALL
1663 gravity: FL_NoGravity FL_NoGravity
1664 name: check_input_enc
1665 callback: C_FormBaseDeprecatedInputCB
1666 argument: 0
1667
1668 --------------------
1669 class: FL_LABELFRAME
1670 type: ENGRAVED_FRAME
1671 box: 15 245 425 60
1672 boxtype: FL_NO_BOX
1673 colors: FL_BLACK FL_COL1
1674 alignment: FL_ALIGN_TOP_LEFT
1675 style: FL_NORMAL_STYLE
1676 size: FL_DEFAULT_SIZE
1677 lcol: FL_BLACK
1678 label: Advanced Options
1679 shortcut:
1680 resize: FL_RESIZE_ALL
1681 gravity: FL_NoGravity FL_NoGravity
1682 name:
1683 callback:
1684 argument:
1685
1686 --------------------
1687 class: FL_LABELFRAME
1688 type: ENGRAVED_FRAME
1689 box: 15 20 425 55
1690 boxtype: FL_NO_BOX
1691 colors: FL_BLACK FL_COL1
1692 alignment: FL_ALIGN_TOP_LEFT
1693 style: FL_NORMAL_STYLE
1694 size: FL_DEFAULT_SIZE
1695 lcol: FL_BLACK
1696 label: Interface
1697 shortcut:
1698 resize: FL_RESIZE_ALL
1699 gravity: FL_NoGravity FL_NoGravity
1700 name:
1701 callback:
1702 argument:
1703
1704 --------------------
1705 class: FL_LABELFRAME
1706 type: ENGRAVED_FRAME
1707 box: 15 90 425 140
1708 boxtype: FL_NO_BOX
1709 colors: FL_BLACK FL_COL1
1710 alignment: FL_ALIGN_TOP_LEFT
1711 style: FL_NORMAL_STYLE
1712 size: FL_DEFAULT_SIZE
1713 lcol: FL_BLACK
1714 label: Language Options
1715 shortcut:
1716 resize: FL_RESIZE_ALL
1717 gravity: FL_NoGravity FL_NoGravity
1718 name:
1719 callback:
1720 argument:
1721
1722 =============== FORM ===============
1723 Name: form_language
1724 Width: 450
1725 Height: 360
1726 Number of Objects: 20
1727
1728 --------------------
1729 class: FL_BOX
1730 type: FLAT_BOX
1731 box: 0 0 450 360
1732 boxtype: FL_FLAT_BOX
1733 colors: FL_COL1 FL_COL1
1734 alignment: FL_ALIGN_CENTER
1735 style: FL_NORMAL_STYLE
1736 size: FL_DEFAULT_SIZE
1737 lcol: FL_BLACK
1738 label:
1739 shortcut:
1740 resize: FL_RESIZE_ALL
1741 gravity: FL_NoGravity FL_NoGravity
1742 name:
1743 callback:
1744 argument:
1745
1746 --------------------
1747 class: FL_FRAME
1748 type: ENGRAVED_FRAME
1749 box: 5 10 440 80
1750 boxtype: FL_NO_BOX
1751 colors: FL_BLACK FL_COL1
1752 alignment: FL_ALIGN_CENTER
1753 style: FL_NORMAL_STYLE
1754 size: FL_DEFAULT_SIZE
1755 lcol: FL_BLACK
1756 label:
1757 shortcut:
1758 resize: FL_RESIZE_ALL
1759 gravity: FL_NoGravity FL_NoGravity
1760 name:
1761 callback:
1762 argument:
1763
1764 --------------------
1765 class: FL_INPUT
1766 type: NORMAL_INPUT
1767 box: 131 18 300 30
1768 boxtype: FL_DOWN_BOX
1769 colors: FL_COL1 FL_MCOL
1770 alignment: FL_ALIGN_LEFT
1771 style: FL_NORMAL_STYLE
1772 size: FL_NORMAL_SIZE
1773 lcol: FL_BLACK
1774 label: Package|#P
1775 shortcut:
1776 resize: FL_RESIZE_ALL
1777 gravity: FL_NoGravity FL_NoGravity
1778 name: input_package
1779 callback: C_FormBaseDeprecatedInputCB
1780 argument: 0
1781
1782 --------------------
1783 class: FL_CHOICE
1784 type: NORMAL_CHOICE
1785 box: 231 56 200 30
1786 boxtype: FL_FRAME_BOX
1787 colors: FL_COL1 FL_BLACK
1788 alignment: FL_ALIGN_LEFT
1789 style: FL_NORMAL_STYLE
1790 size: FL_DEFAULT_SIZE
1791 lcol: FL_BLACK
1792 label: Default language|#l
1793 shortcut:
1794 resize: FL_RESIZE_ALL
1795 gravity: FL_NoGravity FL_NoGravity
1796 name: choice_default_lang
1797 callback: C_FormBaseDeprecatedInputCB
1798 argument: 0
1799
1800 --------------------
1801 class: FL_CHECKBUTTON
1802 type: PUSH_BUTTON
1803 box: 78 113 30 30
1804 boxtype: FL_NO_BOX
1805 colors: FL_COL1 FL_YELLOW
1806 alignment: FL_ALIGN_LEFT
1807 style: FL_NORMAL_STYLE
1808 size: FL_NORMAL_SIZE
1809 lcol: FL_BLACK
1810 label: Keyboard\nmap|#K
1811 shortcut:
1812 resize: FL_RESIZE_ALL
1813 gravity: FL_NoGravity FL_NoGravity
1814 name: check_use_kbmap
1815 callback: C_FormBaseDeprecatedInputCB
1816 argument: 0
1817
1818 --------------------
1819 class: FL_INPUT
1820 type: NORMAL_INPUT
1821 box: 145 100 190 30
1822 boxtype: FL_DOWN_BOX
1823 colors: FL_COL1 FL_MCOL
1824 alignment: FL_ALIGN_LEFT
1825 style: FL_NORMAL_STYLE
1826 size: FL_NORMAL_SIZE
1827 lcol: FL_BLACK
1828 label: 1st|#1
1829 shortcut:
1830 resize: FL_RESIZE_ALL
1831 gravity: FL_NoGravity FL_NoGravity
1832 name: input_kbmap1
1833 callback: C_FormBaseDeprecatedInputCB
1834 argument: 0
1835
1836 --------------------
1837 class: FL_INPUT
1838 type: NORMAL_INPUT
1839 box: 145 135 190 30
1840 boxtype: FL_DOWN_BOX
1841 colors: FL_COL1 FL_MCOL
1842 alignment: FL_ALIGN_LEFT
1843 style: FL_NORMAL_STYLE
1844 size: FL_NORMAL_SIZE
1845 lcol: FL_BLACK
1846 label: 2nd|#2
1847 shortcut:
1848 resize: FL_RESIZE_ALL
1849 gravity: FL_NoGravity FL_NoGravity
1850 name: input_kbmap2
1851 callback: C_FormBaseDeprecatedInputCB
1852 argument: 0
1853
1854 --------------------
1855 class: FL_BUTTON
1856 type: NORMAL_BUTTON
1857 box: 340 100 100 30
1858 boxtype: FL_UP_BOX
1859 colors: FL_COL1 FL_COL1
1860 alignment: FL_ALIGN_CENTER
1861 style: FL_NORMAL_STYLE
1862 size: FL_DEFAULT_SIZE
1863 lcol: FL_BLACK
1864 label: Browse...|#o
1865 shortcut:
1866 resize: FL_RESIZE_ALL
1867 gravity: FL_NoGravity FL_NoGravity
1868 name: button_kbmap1_browse
1869 callback: C_FormBaseDeprecatedInputCB
1870 argument: 0
1871
1872 --------------------
1873 class: FL_BUTTON
1874 type: NORMAL_BUTTON
1875 box: 340 135 100 30
1876 boxtype: FL_UP_BOX
1877 colors: FL_COL1 FL_COL1
1878 alignment: FL_ALIGN_CENTER
1879 style: FL_NORMAL_STYLE
1880 size: FL_DEFAULT_SIZE
1881 lcol: FL_BLACK
1882 label: Browse...|#w
1883 shortcut:
1884 resize: FL_RESIZE_ALL
1885 gravity: FL_NoGravity FL_NoGravity
1886 name: button_kbmap2_browse
1887 callback: C_FormBaseDeprecatedInputCB
1888 argument: 0
1889
1890 --------------------
1891 class: FL_CHECKBUTTON
1892 type: PUSH_BUTTON
1893 box: 140 175 30 30
1894 boxtype: FL_NO_BOX
1895 colors: FL_COL1 FL_YELLOW
1896 alignment: FL_ALIGN_LEFT
1897 style: FL_NORMAL_STYLE
1898 size: FL_NORMAL_SIZE
1899 lcol: FL_BLACK
1900 label: RtL support|#R
1901 shortcut:
1902 resize: FL_RESIZE_ALL
1903 gravity: FL_NoGravity FL_NoGravity
1904 name: check_rtl_support
1905 callback: C_FormBaseDeprecatedInputCB
1906 argument: 0
1907
1908 --------------------
1909 class: FL_CHECKBUTTON
1910 type: PUSH_BUTTON
1911 box: 265 175 30 30
1912 boxtype: FL_NO_BOX
1913 colors: FL_COL1 FL_YELLOW
1914 alignment: FL_ALIGN_LEFT
1915 style: FL_NORMAL_STYLE
1916 size: FL_NORMAL_SIZE
1917 lcol: FL_BLACK
1918 label: Auto begin|#b
1919 shortcut:
1920 resize: FL_RESIZE_ALL
1921 gravity: FL_NoGravity FL_NoGravity
1922 name: check_auto_begin
1923 callback: C_FormBaseDeprecatedInputCB
1924 argument: 0
1925
1926 --------------------
1927 class: FL_CHECKBUTTON
1928 type: PUSH_BUTTON
1929 box: 390 175 30 30
1930 boxtype: FL_NO_BOX
1931 colors: FL_COL1 FL_YELLOW
1932 alignment: FL_ALIGN_LEFT
1933 style: FL_NORMAL_STYLE
1934 size: FL_NORMAL_SIZE
1935 lcol: FL_BLACK
1936 label: Use babel|#U
1937 shortcut:
1938 resize: FL_RESIZE_ALL
1939 gravity: FL_NoGravity FL_NoGravity
1940 name: check_use_babel
1941 callback: C_FormBaseDeprecatedInputCB
1942 argument: 0
1943
1944 --------------------
1945 class: FL_CHECKBUTTON
1946 type: PUSH_BUTTON
1947 box: 140 205 30 30
1948 boxtype: FL_NO_BOX
1949 colors: FL_COL1 FL_YELLOW
1950 alignment: FL_ALIGN_LEFT
1951 style: FL_NORMAL_STYLE
1952 size: FL_NORMAL_SIZE
1953 lcol: FL_BLACK
1954 label: Mark foreign|#M
1955 shortcut:
1956 resize: FL_RESIZE_ALL
1957 gravity: FL_NoGravity FL_NoGravity
1958 name: check_mark_foreign
1959 callback: C_FormBaseDeprecatedInputCB
1960 argument: 0
1961
1962 --------------------
1963 class: FL_CHECKBUTTON
1964 type: PUSH_BUTTON
1965 box: 265 205 30 30
1966 boxtype: FL_NO_BOX
1967 colors: FL_COL1 FL_YELLOW
1968 alignment: FL_ALIGN_LEFT
1969 style: FL_NORMAL_STYLE
1970 size: FL_NORMAL_SIZE
1971 lcol: FL_BLACK
1972 label: Auto finish|#f
1973 shortcut:
1974 resize: FL_RESIZE_ALL
1975 gravity: FL_NoGravity FL_NoGravity
1976 name: check_auto_end
1977 callback: C_FormBaseDeprecatedInputCB
1978 argument: 0
1979
1980 --------------------
1981 class: FL_CHECKBUTTON
1982 type: PUSH_BUTTON
1983 box: 390 205 30 30
1984 boxtype: FL_NO_BOX
1985 colors: FL_COL1 FL_YELLOW
1986 alignment: FL_ALIGN_LEFT
1987 style: FL_NORMAL_STYLE
1988 size: FL_NORMAL_SIZE
1989 lcol: FL_BLACK
1990 label: Global|#G
1991 shortcut:
1992 resize: FL_RESIZE_ALL
1993 gravity: FL_NoGravity FL_NoGravity
1994 name: check_global_options
1995 callback: C_FormBaseDeprecatedInputCB
1996 argument: 0
1997
1998 --------------------
1999 class: FL_INPUT
2000 type: NORMAL_INPUT
2001 box: 130 245 300 30
2002 boxtype: FL_DOWN_BOX
2003 colors: FL_COL1 FL_MCOL
2004 alignment: FL_ALIGN_LEFT
2005 style: FL_NORMAL_STYLE
2006 size: FL_NORMAL_SIZE
2007 lcol: FL_BLACK
2008 label: Command start|#s
2009 shortcut:
2010 resize: FL_RESIZE_ALL
2011 gravity: FL_NoGravity FL_NoGravity
2012 name: input_command_begin
2013 callback: C_FormBaseDeprecatedInputCB
2014 argument: 0
2015
2016 --------------------
2017 class: FL_INPUT
2018 type: NORMAL_INPUT
2019 box: 130 280 300 30
2020 boxtype: FL_DOWN_BOX
2021 colors: FL_COL1 FL_MCOL
2022 alignment: FL_ALIGN_LEFT
2023 style: FL_NORMAL_STYLE
2024 size: FL_NORMAL_SIZE
2025 lcol: FL_BLACK
2026 label: Command end|#e
2027 shortcut:
2028 resize: FL_RESIZE_ALL
2029 gravity: FL_NoGravity FL_NoGravity
2030 name: input_command_end
2031 callback: C_FormBaseDeprecatedInputCB
2032 argument: 0
2033
2034 --------------------
2035 class: FL_FRAME
2036 type: ENGRAVED_FRAME
2037 box: 5 175 440 60
2038 boxtype: FL_NO_BOX
2039 colors: FL_BLACK FL_COL1
2040 alignment: FL_ALIGN_CENTER
2041 style: FL_NORMAL_STYLE
2042 size: FL_DEFAULT_SIZE
2043 lcol: FL_BLACK
2044 label:
2045 shortcut:
2046 resize: FL_RESIZE_ALL
2047 gravity: FL_NoGravity FL_NoGravity
2048 name:
2049 callback:
2050 argument:
2051
2052 --------------------
2053 class: FL_FRAME
2054 type: ENGRAVED_FRAME
2055 box: 5 240 440 80
2056 boxtype: FL_NO_BOX
2057 colors: FL_BLACK FL_COL1
2058 alignment: FL_ALIGN_CENTER
2059 style: FL_NORMAL_STYLE
2060 size: FL_DEFAULT_SIZE
2061 lcol: FL_BLACK
2062 label:
2063 shortcut:
2064 resize: FL_RESIZE_ALL
2065 gravity: FL_NoGravity FL_NoGravity
2066 name:
2067 callback:
2068 argument:
2069
2070 --------------------
2071 class: FL_FRAME
2072 type: ENGRAVED_FRAME
2073 box: 5 95 440 75
2074 boxtype: FL_NO_BOX
2075 colors: FL_BLACK FL_COL1
2076 alignment: FL_ALIGN_CENTER
2077 style: FL_NORMAL_STYLE
2078 size: FL_DEFAULT_SIZE
2079 lcol: FL_BLACK
2080 label:
2081 shortcut:
2082 resize: FL_RESIZE_ALL
2083 gravity: FL_NoGravity FL_NoGravity
2084 name:
2085 callback:
2086 argument:
2087
2088 =============== FORM ===============
2089 Name: form_formats
2090 Width: 450
2091 Height: 360
2092 Number of Objects: 9
2093
2094 --------------------
2095 class: FL_BOX
2096 type: FLAT_BOX
2097 box: 0 0 450 360
2098 boxtype: FL_FLAT_BOX
2099 colors: FL_COL1 FL_COL1
2100 alignment: FL_ALIGN_CENTER
2101 style: FL_NORMAL_STYLE
2102 size: FL_DEFAULT_SIZE
2103 lcol: FL_BLACK
2104 label:
2105 shortcut:
2106 resize: FL_RESIZE_ALL
2107 gravity: FL_NoGravity FL_NoGravity
2108 name:
2109 callback:
2110 argument:
2111
2112 --------------------
2113 class: FL_BROWSER
2114 type: HOLD_BROWSER
2115 box: 30 30 160 270
2116 boxtype: FL_DOWN_BOX
2117 colors: FL_COL1 FL_YELLOW
2118 alignment: FL_ALIGN_TOP
2119 style: FL_NORMAL_STYLE
2120 size: FL_NORMAL_SIZE
2121 lcol: FL_BLACK
2122 label: All formats|#l
2123 shortcut:
2124 resize: FL_RESIZE_ALL
2125 gravity: FL_NoGravity FL_NoGravity
2126 name: browser_all
2127 callback: C_FormBaseDeprecatedInputCB
2128 argument: 0
2129
2130 --------------------
2131 class: FL_INPUT
2132 type: NORMAL_INPUT
2133 box: 280 30 150 30
2134 boxtype: FL_DOWN_BOX
2135 colors: FL_COL1 FL_MCOL
2136 alignment: FL_ALIGN_LEFT
2137 style: FL_NORMAL_STYLE
2138 size: FL_NORMAL_SIZE
2139 lcol: FL_BLACK
2140 label: Format|#F
2141 shortcut:
2142 resize: FL_RESIZE_ALL
2143 gravity: FL_NoGravity FL_NoGravity
2144 name: input_format
2145 callback: C_FormBaseDeprecatedInputCB
2146 argument: 0
2147
2148 --------------------
2149 class: FL_INPUT
2150 type: NORMAL_INPUT
2151 box: 280 70 150 30
2152 boxtype: FL_DOWN_BOX
2153 colors: FL_COL1 FL_MCOL
2154 alignment: FL_ALIGN_LEFT
2155 style: FL_NORMAL_STYLE
2156 size: FL_NORMAL_SIZE
2157 lcol: FL_BLACK
2158 label: GUI name|#G
2159 shortcut:
2160 resize: FL_RESIZE_ALL
2161 gravity: FL_NoGravity FL_NoGravity
2162 name: input_gui_name
2163 callback: C_FormBaseDeprecatedInputCB
2164 argument: 0
2165
2166 --------------------
2167 class: FL_INPUT
2168 type: NORMAL_INPUT
2169 box: 280 110 150 30
2170 boxtype: FL_DOWN_BOX
2171 colors: FL_COL1 FL_MCOL
2172 alignment: FL_ALIGN_LEFT
2173 style: FL_NORMAL_STYLE
2174 size: FL_NORMAL_SIZE
2175 lcol: FL_BLACK
2176 label: Shortcut|#S
2177 shortcut:
2178 resize: FL_RESIZE_ALL
2179 gravity: FL_NoGravity FL_NoGravity
2180 name: input_shrtcut
2181 callback: C_FormBaseDeprecatedInputCB
2182 argument: 0
2183
2184 --------------------
2185 class: FL_INPUT
2186 type: NORMAL_INPUT
2187 box: 280 150 150 30
2188 boxtype: FL_DOWN_BOX
2189 colors: FL_COL1 FL_MCOL
2190 alignment: FL_ALIGN_LEFT
2191 style: FL_NORMAL_STYLE
2192 size: FL_NORMAL_SIZE
2193 lcol: FL_BLACK
2194 label: Extension|#E
2195 shortcut:
2196 resize: FL_RESIZE_ALL
2197 gravity: FL_NoGravity FL_NoGravity
2198 name: input_extension
2199 callback: C_FormBaseDeprecatedInputCB
2200 argument: 0
2201
2202 --------------------
2203 class: FL_INPUT
2204 type: NORMAL_INPUT
2205 box: 280 190 150 30
2206 boxtype: FL_DOWN_BOX
2207 colors: FL_COL1 FL_MCOL
2208 alignment: FL_ALIGN_LEFT
2209 style: FL_NORMAL_STYLE
2210 size: FL_NORMAL_SIZE
2211 lcol: FL_BLACK
2212 label: Viewer|#V
2213 shortcut:
2214 resize: FL_RESIZE_ALL
2215 gravity: FL_NoGravity FL_NoGravity
2216 name: input_viewer
2217 callback: C_FormBaseDeprecatedInputCB
2218 argument: 0
2219
2220 --------------------
2221 class: FL_BUTTON
2222 type: NORMAL_BUTTON
2223 box: 240 270 90 30
2224 boxtype: FL_UP_BOX
2225 colors: FL_COL1 FL_COL1
2226 alignment: FL_ALIGN_CENTER
2227 style: FL_NORMAL_STYLE
2228 size: FL_NORMAL_SIZE
2229 lcol: FL_BLACK
2230 label: Add|#A
2231 shortcut:
2232 resize: FL_RESIZE_ALL
2233 gravity: FL_NoGravity FL_NoGravity
2234 name: button_add
2235 callback: C_FormBaseDeprecatedInputCB
2236 argument: 0
2237
2238 --------------------
2239 class: FL_BUTTON
2240 type: NORMAL_BUTTON
2241 box: 340 270 90 30
2242 boxtype: FL_UP_BOX
2243 colors: FL_COL1 FL_COL1
2244 alignment: FL_ALIGN_CENTER
2245 style: FL_NORMAL_STYLE
2246 size: FL_NORMAL_SIZE
2247 lcol: FL_BLACK
2248 label: Delete|#D
2249 shortcut:
2250 resize: FL_RESIZE_ALL
2251 gravity: FL_NoGravity FL_NoGravity
2252 name: button_delete
2253 callback: C_FormBaseDeprecatedInputCB
2254 argument: 0
2255
2256 =============== FORM ===============
2257 Name: form_converters
2258 Width: 450
2259 Height: 360
2260 Number of Objects: 8
2261
2262 --------------------
2263 class: FL_BOX
2264 type: FLAT_BOX
2265 box: 0 0 450 360
2266 boxtype: FL_FLAT_BOX
2267 colors: FL_COL1 FL_COL1
2268 alignment: FL_ALIGN_CENTER
2269 style: FL_NORMAL_STYLE
2270 size: FL_DEFAULT_SIZE
2271 lcol: FL_BLACK
2272 label:
2273 shortcut:
2274 resize: FL_RESIZE_ALL
2275 gravity: FL_NoGravity FL_NoGravity
2276 name:
2277 callback:
2278 argument:
2279
2280 --------------------
2281 class: FL_BROWSER
2282 type: HOLD_BROWSER
2283 box: 30 30 160 270
2284 boxtype: FL_DOWN_BOX
2285 colors: FL_COL1 FL_YELLOW
2286 alignment: FL_ALIGN_TOP
2287 style: FL_NORMAL_STYLE
2288 size: FL_NORMAL_SIZE
2289 lcol: FL_BLACK
2290 label: All converters|#l
2291 shortcut:
2292 resize: FL_RESIZE_ALL
2293 gravity: FL_NoGravity FL_NoGravity
2294 name: browser_all
2295 callback: C_FormBaseDeprecatedInputCB
2296 argument: 0
2297
2298 --------------------
2299 class: FL_CHOICE
2300 type: NORMAL_CHOICE
2301 box: 280 30 150 30
2302 boxtype: FL_FRAME_BOX
2303 colors: FL_COL1 FL_BLACK
2304 alignment: FL_ALIGN_LEFT
2305 style: FL_NORMAL_STYLE
2306 size: FL_DEFAULT_SIZE
2307 lcol: FL_BLACK
2308 label: From|#F
2309 shortcut:
2310 resize: FL_RESIZE_ALL
2311 gravity: FL_NoGravity FL_NoGravity
2312 name: choice_from
2313 callback: C_FormBaseDeprecatedInputCB
2314 argument: 0
2315
2316 --------------------
2317 class: FL_CHOICE
2318 type: NORMAL_CHOICE
2319 box: 280 70 150 30
2320 boxtype: FL_FRAME_BOX
2321 colors: FL_COL1 FL_BLACK
2322 alignment: FL_ALIGN_LEFT
2323 style: FL_NORMAL_STYLE
2324 size: FL_DEFAULT_SIZE
2325 lcol: FL_BLACK
2326 label: To|#T
2327 shortcut:
2328 resize: FL_RESIZE_ALL
2329 gravity: FL_NoGravity FL_NoGravity
2330 name: choice_to
2331 callback: C_FormBaseDeprecatedInputCB
2332 argument: 0
2333
2334 --------------------
2335 class: FL_INPUT
2336 type: NORMAL_INPUT
2337 box: 280 110 150 30
2338 boxtype: FL_DOWN_BOX
2339 colors: FL_COL1 FL_MCOL
2340 alignment: FL_ALIGN_LEFT
2341 style: FL_NORMAL_STYLE
2342 size: FL_NORMAL_SIZE
2343 lcol: FL_BLACK
2344 label: Converter|#C
2345 shortcut:
2346 resize: FL_RESIZE_ALL
2347 gravity: FL_NoGravity FL_NoGravity
2348 name: input_converter
2349 callback: C_FormBaseDeprecatedInputCB
2350 argument: 0
2351
2352 --------------------
2353 class: FL_INPUT
2354 type: NORMAL_INPUT
2355 box: 280 150 150 30
2356 boxtype: FL_DOWN_BOX
2357 colors: FL_COL1 FL_MCOL
2358 alignment: FL_ALIGN_LEFT
2359 style: FL_NORMAL_STYLE
2360 size: FL_NORMAL_SIZE
2361 lcol: FL_BLACK
2362 label: Extra flags|#E
2363 shortcut:
2364 resize: FL_RESIZE_ALL
2365 gravity: FL_NoGravity FL_NoGravity
2366 name: input_flags
2367 callback: C_FormBaseDeprecatedInputCB
2368 argument: 0
2369
2370 --------------------
2371 class: FL_BUTTON
2372 type: NORMAL_BUTTON
2373 box: 240 270 90 30
2374 boxtype: FL_UP_BOX
2375 colors: FL_COL1 FL_COL1
2376 alignment: FL_ALIGN_CENTER
2377 style: FL_NORMAL_STYLE
2378 size: FL_NORMAL_SIZE
2379 lcol: FL_BLACK
2380 label: Add|#A
2381 shortcut:
2382 resize: FL_RESIZE_ALL
2383 gravity: FL_NoGravity FL_NoGravity
2384 name: button_add
2385 callback: C_FormBaseDeprecatedInputCB
2386 argument: 0
2387
2388 --------------------
2389 class: FL_BUTTON
2390 type: NORMAL_BUTTON
2391 box: 340 270 90 30
2392 boxtype: FL_UP_BOX
2393 colors: FL_COL1 FL_COL1
2394 alignment: FL_ALIGN_CENTER
2395 style: FL_NORMAL_STYLE
2396 size: FL_NORMAL_SIZE
2397 lcol: FL_BLACK
2398 label: Delete|#D
2399 shortcut:
2400 resize: FL_RESIZE_ALL
2401 gravity: FL_NoGravity FL_NoGravity
2402 name: button_delete
2403 callback: C_FormBaseDeprecatedInputCB
2404 argument: 0
2405
2406 =============== FORM ===============
2407 Name: form_paths
2408 Width: 450
2409 Height: 350
2410 Number of Objects: 17
2411
2412 --------------------
2413 class: FL_BOX
2414 type: FLAT_BOX
2415 box: 0 0 450 350
2416 boxtype: FL_FLAT_BOX
2417 colors: FL_COL1 FL_COL1
2418 alignment: FL_ALIGN_CENTER
2419 style: FL_NORMAL_STYLE
2420 size: FL_DEFAULT_SIZE
2421 lcol: FL_BLACK
2422 label:
2423 shortcut:
2424 resize: FL_RESIZE_ALL
2425 gravity: FL_NoGravity FL_NoGravity
2426 name:
2427 callback:
2428 argument:
2429
2430 --------------------
2431 class: FL_INPUT
2432 type: NORMAL_INPUT
2433 box: 170 10 170 30
2434 boxtype: FL_DOWN_BOX
2435 colors: FL_COL1 FL_MCOL
2436 alignment: FL_ALIGN_LEFT
2437 style: FL_NORMAL_STYLE
2438 size: FL_NORMAL_SIZE
2439 lcol: FL_BLACK
2440 label: Default path|#p
2441 shortcut:
2442 resize: FL_RESIZE_ALL
2443 gravity: FL_NoGravity FL_NoGravity
2444 name: input_default_path
2445 callback: C_FormBaseDeprecatedInputCB
2446 argument: 0
2447
2448 --------------------
2449 class: FL_BUTTON
2450 type: NORMAL_BUTTON
2451 box: 345 10 100 30
2452 boxtype: FL_UP_BOX
2453 colors: FL_COL1 FL_COL1
2454 alignment: FL_ALIGN_CENTER
2455 style: FL_NORMAL_STYLE
2456 size: FL_NORMAL_SIZE
2457 lcol: FL_BLACK
2458 label: Browse...
2459 shortcut:
2460 resize: FL_RESIZE_ALL
2461 gravity: FL_NoGravity FL_NoGravity
2462 name: button_default_path_browse
2463 callback: C_FormBaseDeprecatedInputCB
2464 argument: 0
2465
2466 --------------------
2467 class: FL_INPUT
2468 type: NORMAL_INPUT
2469 box: 170 45 170 30
2470 boxtype: FL_DOWN_BOX
2471 colors: FL_COL1 FL_MCOL
2472 alignment: FL_ALIGN_LEFT
2473 style: FL_NORMAL_STYLE
2474 size: FL_NORMAL_SIZE
2475 lcol: FL_BLACK
2476 label: Template path|#T
2477 shortcut:
2478 resize: FL_RESIZE_ALL
2479 gravity: FL_NoGravity FL_NoGravity
2480 name: input_template_path
2481 callback: C_FormBaseDeprecatedInputCB
2482 argument: 0
2483
2484 --------------------
2485 class: FL_BUTTON
2486 type: NORMAL_BUTTON
2487 box: 345 45 100 30
2488 boxtype: FL_UP_BOX
2489 colors: FL_COL1 FL_COL1
2490 alignment: FL_ALIGN_CENTER
2491 style: FL_NORMAL_STYLE
2492 size: FL_NORMAL_SIZE
2493 lcol: FL_BLACK
2494 label: Browse...
2495 shortcut:
2496 resize: FL_RESIZE_ALL
2497 gravity: FL_NoGravity FL_NoGravity
2498 name: button_template_path_browse
2499 callback: C_FormBaseDeprecatedInputCB
2500 argument: 0
2501
2502 --------------------
2503 class: FL_CHECKBUTTON
2504 type: PUSH_BUTTON
2505 box: 140 80 30 30
2506 boxtype: FL_NO_BOX
2507 colors: FL_COL1 FL_YELLOW
2508 alignment: FL_ALIGN_LEFT
2509 style: FL_NORMAL_STYLE
2510 size: FL_NORMAL_SIZE
2511 lcol: FL_BLACK
2512 label: Temp dir|#d
2513 shortcut:
2514 resize: FL_RESIZE_ALL
2515 gravity: FL_NoGravity FL_NoGravity
2516 name: check_use_temp_dir
2517 callback: C_FormBaseDeprecatedInputCB
2518 argument: 0
2519         value: 1
2520
2521 --------------------
2522 class: FL_INPUT
2523 type: NORMAL_INPUT
2524 box: 170 80 170 30
2525 boxtype: FL_DOWN_BOX
2526 colors: FL_COL1 FL_MCOL
2527 alignment: FL_ALIGN_LEFT
2528 style: FL_NORMAL_STYLE
2529 size: FL_NORMAL_SIZE
2530 lcol: FL_BLACK
2531 label:
2532 shortcut:
2533 resize: FL_RESIZE_ALL
2534 gravity: FL_NoGravity FL_NoGravity
2535 name: input_temp_dir
2536 callback: C_FormBaseDeprecatedInputCB
2537 argument: 0
2538
2539 --------------------
2540 class: FL_BUTTON
2541 type: NORMAL_BUTTON
2542 box: 345 80 100 30
2543 boxtype: FL_UP_BOX
2544 colors: FL_COL1 FL_COL1
2545 alignment: FL_ALIGN_CENTER
2546 style: FL_NORMAL_STYLE
2547 size: FL_NORMAL_SIZE
2548 lcol: FL_BLACK
2549 label: Browse...
2550 shortcut:
2551 resize: FL_RESIZE_ALL
2552 gravity: FL_NoGravity FL_NoGravity
2553 name: button_temp_dir_browse
2554 callback: C_FormBaseDeprecatedInputCB
2555 argument: 0
2556
2557 --------------------
2558 class: FL_CHECKBUTTON
2559 type: PUSH_BUTTON
2560 box: 140 115 30 30
2561 boxtype: FL_NO_BOX
2562 colors: FL_COL1 FL_YELLOW
2563 alignment: FL_ALIGN_LEFT
2564 style: FL_NORMAL_STYLE
2565 size: FL_NORMAL_SIZE
2566 lcol: FL_BLACK
2567 label: Check last files|#C
2568 shortcut:
2569 resize: FL_RESIZE_ALL
2570 gravity: FL_NoGravity FL_NoGravity
2571 name: check_last_files
2572 callback: C_FormBaseDeprecatedInputCB
2573 argument: 0
2574         value: 1
2575
2576 --------------------
2577 class: FL_INPUT
2578 type: NORMAL_INPUT
2579 box: 170 115 170 30
2580 boxtype: FL_DOWN_BOX
2581 colors: FL_COL1 FL_MCOL
2582 alignment: FL_ALIGN_LEFT
2583 style: FL_NORMAL_STYLE
2584 size: FL_NORMAL_SIZE
2585 lcol: FL_BLACK
2586 label:
2587 shortcut:
2588 resize: FL_RESIZE_ALL
2589 gravity: FL_NoGravity FL_NoGravity
2590 name: input_lastfiles
2591 callback: C_FormBaseDeprecatedInputCB
2592 argument: 0
2593
2594 --------------------
2595 class: FL_BUTTON
2596 type: NORMAL_BUTTON
2597 box: 345 115 100 30
2598 boxtype: FL_UP_BOX
2599 colors: FL_COL1 FL_COL1
2600 alignment: FL_ALIGN_CENTER
2601 style: FL_NORMAL_STYLE
2602 size: FL_NORMAL_SIZE
2603 lcol: FL_BLACK
2604 label: Browse...
2605 shortcut:
2606 resize: FL_RESIZE_ALL
2607 gravity: FL_NoGravity FL_NoGravity
2608 name: button_lastfiles_browse
2609 callback: C_FormBaseDeprecatedInputCB
2610 argument: 0
2611
2612 --------------------
2613 class: FL_COUNTER
2614 type: SIMPLE_COUNTER
2615 box: 170 150 90 30
2616 boxtype: FL_UP_BOX
2617 colors: FL_COL1 FL_BLUE
2618 alignment: FL_ALIGN_LEFT
2619 style: FL_NORMAL_STYLE
2620 size: FL_NORMAL_SIZE
2621 lcol: FL_BLACK
2622 label: Last file count|#L
2623 shortcut:
2624 resize: FL_RESIZE_ALL
2625 gravity: FL_NoGravity FL_NoGravity
2626 name: counter_lastfiles
2627 callback: C_FormBaseDeprecatedInputCB
2628 argument: 0
2629   bounds: 0 9
2630   precision: 0
2631   value: 4
2632   sstep: 1
2633
2634 --------------------
2635 class: FL_CHECKBUTTON
2636 type: PUSH_BUTTON
2637 box: 140 205 30 30
2638 boxtype: FL_NO_BOX
2639 colors: FL_COL1 FL_YELLOW
2640 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2641 style: FL_NORMAL_STYLE
2642 size: FL_NORMAL_SIZE
2643 lcol: FL_BLACK
2644 label: Backup path|#B
2645 shortcut:
2646 resize: FL_RESIZE_ALL
2647 gravity: FL_NoGravity FL_NoGravity
2648 name: check_make_backups
2649 callback: C_FormBaseDeprecatedInputCB
2650 argument: 0
2651         value: 1
2652
2653 --------------------
2654 class: FL_INPUT
2655 type: NORMAL_INPUT
2656 box: 170 205 170 30
2657 boxtype: FL_DOWN_BOX
2658 colors: FL_COL1 FL_MCOL
2659 alignment: FL_ALIGN_LEFT
2660 style: FL_NORMAL_STYLE
2661 size: FL_NORMAL_SIZE
2662 lcol: FL_BLACK
2663 label:
2664 shortcut:
2665 resize: FL_RESIZE_ALL
2666 gravity: FL_NoGravity FL_NoGravity
2667 name: input_backup_path
2668 callback: C_FormBaseDeprecatedInputCB
2669 argument: 0
2670
2671 --------------------
2672 class: FL_BUTTON
2673 type: NORMAL_BUTTON
2674 box: 345 205 100 30
2675 boxtype: FL_UP_BOX
2676 colors: FL_COL1 FL_COL1
2677 alignment: FL_ALIGN_CENTER
2678 style: FL_NORMAL_STYLE
2679 size: FL_NORMAL_SIZE
2680 lcol: FL_BLACK
2681 label: Browse...
2682 shortcut:
2683 resize: FL_RESIZE_ALL
2684 gravity: FL_NoGravity FL_NoGravity
2685 name: button_backup_path_browse
2686 callback: C_FormBaseDeprecatedInputCB
2687 argument: 0
2688
2689 --------------------
2690 class: FL_INPUT
2691 type: NORMAL_INPUT
2692 box: 170 245 170 30
2693 boxtype: FL_DOWN_BOX
2694 colors: FL_COL1 FL_MCOL
2695 alignment: FL_ALIGN_LEFT
2696 style: FL_NORMAL_STYLE
2697 size: FL_NORMAL_SIZE
2698 lcol: FL_BLACK
2699 label: LyXServer pipe|#S
2700 shortcut:
2701 resize: FL_RESIZE_ALL
2702 gravity: FL_NoGravity FL_NoGravity
2703 name: input_serverpipe
2704 callback: C_FormBaseDeprecatedInputCB
2705 argument: 0
2706
2707 --------------------
2708 class: FL_BUTTON
2709 type: NORMAL_BUTTON
2710 box: 345 245 100 30
2711 boxtype: FL_UP_BOX
2712 colors: FL_COL1 FL_COL1
2713 alignment: FL_ALIGN_CENTER
2714 style: FL_NORMAL_STYLE
2715 size: FL_NORMAL_SIZE
2716 lcol: FL_BLACK
2717 label: Browse...
2718 shortcut:
2719 resize: FL_RESIZE_ALL
2720 gravity: FL_NoGravity FL_NoGravity
2721 name: button_serverpipe_browse
2722 callback: C_FormBaseDeprecatedInputCB
2723 argument: 0
2724
2725 =============== FORM ===============
2726 Name: form_inputs_misc
2727 Width: 450
2728 Height: 360
2729 Number of Objects: 2
2730
2731 --------------------
2732 class: FL_BOX
2733 type: FLAT_BOX
2734 box: 0 0 450 360
2735 boxtype: FL_FLAT_BOX
2736 colors: FL_COL1 FL_COL1
2737 alignment: FL_ALIGN_CENTER
2738 style: FL_NORMAL_STYLE
2739 size: FL_DEFAULT_SIZE
2740 lcol: FL_BLACK
2741 label:
2742 shortcut:
2743 resize: FL_RESIZE_ALL
2744 gravity: FL_NoGravity FL_NoGravity
2745 name:
2746 callback:
2747 argument:
2748
2749 --------------------
2750 class: FL_INPUT
2751 type: NORMAL_INPUT
2752 box: 120 70 285 30
2753 boxtype: FL_DOWN_BOX
2754 colors: FL_COL1 FL_MCOL
2755 alignment: FL_ALIGN_LEFT
2756 style: FL_NORMAL_STYLE
2757 size: FL_NORMAL_SIZE
2758 lcol: FL_BLACK
2759 label: date format|#f
2760 shortcut:
2761 resize: FL_RESIZE_ALL
2762 gravity: FL_NoGravity FL_NoGravity
2763 name: input_date_format
2764 callback: C_FormBaseDeprecatedInputCB
2765 argument: 0
2766
2767 =============== FORM ===============
2768 Name: form_printer
2769 Width: 450
2770 Height: 350
2771 Number of Objects: 21
2772
2773 --------------------
2774 class: FL_BOX
2775 type: FLAT_BOX
2776 box: 0 0 450 350
2777 boxtype: FL_FLAT_BOX
2778 colors: FL_COL1 FL_COL1
2779 alignment: FL_ALIGN_CENTER
2780 style: FL_NORMAL_STYLE
2781 size: FL_DEFAULT_SIZE
2782 lcol: FL_BLACK
2783 label:
2784 shortcut:
2785 resize: FL_RESIZE_ALL
2786 gravity: FL_NoGravity FL_NoGravity
2787 name:
2788 callback:
2789 argument:
2790
2791 --------------------
2792 class: FL_INPUT
2793 type: NORMAL_INPUT
2794 box: 130 10 80 30
2795 boxtype: FL_DOWN_BOX
2796 colors: FL_COL1 FL_MCOL
2797 alignment: FL_ALIGN_LEFT
2798 style: FL_NORMAL_STYLE
2799 size: FL_NORMAL_SIZE
2800 lcol: FL_BLACK
2801 label: name
2802 shortcut:
2803 resize: FL_RESIZE_ALL
2804 gravity: FL_NoGravity FL_NoGravity
2805 name: input_name
2806 callback: C_FormBaseDeprecatedInputCB
2807 argument: 0
2808
2809 --------------------
2810 class: FL_CHECKBUTTON
2811 type: PUSH_BUTTON
2812 box: 240 10 30 30
2813 boxtype: FL_NO_BOX
2814 colors: FL_COL1 FL_YELLOW
2815 alignment: FL_ALIGN_CENTER
2816 style: FL_NORMAL_STYLE
2817 size: FL_NORMAL_SIZE
2818 lcol: FL_BLACK
2819 label: adapt output
2820 shortcut:
2821 resize: FL_RESIZE_ALL
2822 gravity: FL_NoGravity FL_NoGravity
2823 name: check_adapt_output
2824 callback: C_FormBaseDeprecatedInputCB
2825 argument: 0
2826
2827 --------------------
2828 class: FL_LABELFRAME
2829 type: ENGRAVED_FRAME
2830 box: 10 60 435 260
2831 boxtype: FL_NO_BOX
2832 colors: FL_BLACK FL_COL1
2833 alignment: FL_ALIGN_TOP_LEFT
2834 style: FL_NORMAL_STYLE
2835 size: FL_NORMAL_SIZE
2836 lcol: FL_BLACK
2837 label: Printer Command and Flags
2838 shortcut:
2839 resize: FL_RESIZE_ALL
2840 gravity: FL_NoGravity FL_NoGravity
2841 name:
2842 callback:
2843 argument:
2844
2845 --------------------
2846 class: FL_INPUT
2847 type: NORMAL_INPUT
2848 box: 130 75 80 30
2849 boxtype: FL_DOWN_BOX
2850 colors: FL_COL1 FL_MCOL
2851 alignment: FL_ALIGN_LEFT
2852 style: FL_NORMAL_STYLE
2853 size: FL_NORMAL_SIZE
2854 lcol: FL_BLACK
2855 label: command
2856 shortcut:
2857 resize: FL_RESIZE_ALL
2858 gravity: FL_NoGravity FL_NoGravity
2859 name: input_command
2860 callback: C_FormBaseDeprecatedInputCB
2861 argument: 0
2862
2863 --------------------
2864 class: FL_INPUT
2865 type: NORMAL_INPUT
2866 box: 130 105 80 30
2867 boxtype: FL_DOWN_BOX
2868 colors: FL_COL1 FL_MCOL
2869 alignment: FL_ALIGN_LEFT
2870 style: FL_NORMAL_STYLE
2871 size: FL_NORMAL_SIZE
2872 lcol: FL_BLACK
2873 label: page range
2874 shortcut:
2875 resize: FL_RESIZE_ALL
2876 gravity: FL_NoGravity FL_NoGravity
2877 name: input_page_range
2878 callback: C_FormBaseDeprecatedInputCB
2879 argument: 0
2880
2881 --------------------
2882 class: FL_INPUT
2883 type: NORMAL_INPUT
2884 box: 130 135 80 30
2885 boxtype: FL_DOWN_BOX
2886 colors: FL_COL1 FL_MCOL
2887 alignment: FL_ALIGN_LEFT
2888 style: FL_NORMAL_STYLE
2889 size: FL_NORMAL_SIZE
2890 lcol: FL_BLACK
2891 label: copies
2892 shortcut:
2893 resize: FL_RESIZE_ALL
2894 gravity: FL_NoGravity FL_NoGravity
2895 name: input_copies
2896 callback: C_FormBaseDeprecatedInputCB
2897 argument: 0
2898
2899 --------------------
2900 class: FL_INPUT
2901 type: NORMAL_INPUT
2902 box: 130 165 80 30
2903 boxtype: FL_DOWN_BOX
2904 colors: FL_COL1 FL_MCOL
2905 alignment: FL_ALIGN_LEFT
2906 style: FL_NORMAL_STYLE
2907 size: FL_NORMAL_SIZE
2908 lcol: FL_BLACK
2909 label: reverse
2910 shortcut:
2911 resize: FL_RESIZE_ALL
2912 gravity: FL_NoGravity FL_NoGravity
2913 name: input_reverse
2914 callback: C_FormBaseDeprecatedInputCB
2915 argument: 0
2916
2917 --------------------
2918 class: FL_INPUT
2919 type: NORMAL_INPUT
2920 box: 130 195 80 30
2921 boxtype: FL_DOWN_BOX
2922 colors: FL_COL1 FL_MCOL
2923 alignment: FL_ALIGN_LEFT
2924 style: FL_NORMAL_STYLE
2925 size: FL_NORMAL_SIZE
2926 lcol: FL_BLACK
2927 label: to printer
2928 shortcut:
2929 resize: FL_RESIZE_ALL
2930 gravity: FL_NoGravity FL_NoGravity
2931 name: input_to_printer
2932 callback: C_FormBaseDeprecatedInputCB
2933 argument: 0
2934
2935 --------------------
2936 class: FL_INPUT
2937 type: NORMAL_INPUT
2938 box: 130 225 80 30
2939 boxtype: FL_DOWN_BOX
2940 colors: FL_COL1 FL_MCOL
2941 alignment: FL_ALIGN_LEFT
2942 style: FL_NORMAL_STYLE
2943 size: FL_NORMAL_SIZE
2944 lcol: FL_BLACK
2945 label: file extension
2946 shortcut:
2947 resize: FL_RESIZE_ALL
2948 gravity: FL_NoGravity FL_NoGravity
2949 name: input_file_extension
2950 callback: C_FormBaseDeprecatedInputCB
2951 argument: 0
2952
2953 --------------------
2954 class: FL_INPUT
2955 type: NORMAL_INPUT
2956 box: 130 255 80 30
2957 boxtype: FL_DOWN_BOX
2958 colors: FL_COL1 FL_MCOL
2959 alignment: FL_ALIGN_LEFT
2960 style: FL_NORMAL_STYLE
2961 size: FL_NORMAL_SIZE
2962 lcol: FL_BLACK
2963 label: spool command
2964 shortcut:
2965 resize: FL_RESIZE_ALL
2966 gravity: FL_NoGravity FL_NoGravity
2967 name: input_spool_command
2968 callback: C_FormBaseDeprecatedInputCB
2969 argument: 0
2970
2971 --------------------
2972 class: FL_INPUT
2973 type: NORMAL_INPUT
2974 box: 130 285 80 30
2975 boxtype: FL_DOWN_BOX
2976 colors: FL_COL1 FL_MCOL
2977 alignment: FL_ALIGN_LEFT
2978 style: FL_NORMAL_STYLE
2979 size: FL_NORMAL_SIZE
2980 lcol: FL_BLACK
2981 label: paper type
2982 shortcut:
2983 resize: FL_RESIZE_ALL
2984 gravity: FL_NoGravity FL_NoGravity
2985 name: input_paper_type
2986 callback: C_FormBaseDeprecatedInputCB
2987 argument: 0
2988
2989 --------------------
2990 class: FL_INPUT
2991 type: NORMAL_INPUT
2992 box: 360 75 80 30
2993 boxtype: FL_DOWN_BOX
2994 colors: FL_COL1 FL_MCOL
2995 alignment: FL_ALIGN_LEFT
2996 style: FL_NORMAL_STYLE
2997 size: FL_NORMAL_SIZE
2998 lcol: FL_BLACK
2999 label: even pages
3000 shortcut:
3001 resize: FL_RESIZE_ALL
3002 gravity: FL_NoGravity FL_NoGravity
3003 name: input_even_pages
3004 callback: C_FormBaseDeprecatedInputCB
3005 argument: 0
3006
3007 --------------------
3008 class: FL_INPUT
3009 type: NORMAL_INPUT
3010 box: 360 105 80 30
3011 boxtype: FL_DOWN_BOX
3012 colors: FL_COL1 FL_MCOL
3013 alignment: FL_ALIGN_LEFT
3014 style: FL_NORMAL_STYLE
3015 size: FL_NORMAL_SIZE
3016 lcol: FL_BLACK
3017 label: odd pages
3018 shortcut:
3019 resize: FL_RESIZE_ALL
3020 gravity: FL_NoGravity FL_NoGravity
3021 name: input_odd_pages
3022 callback: C_FormBaseDeprecatedInputCB
3023 argument: 0
3024
3025 --------------------
3026 class: FL_INPUT
3027 type: NORMAL_INPUT
3028 box: 360 135 80 30
3029 boxtype: FL_DOWN_BOX
3030 colors: FL_COL1 FL_MCOL
3031 alignment: FL_ALIGN_LEFT
3032 style: FL_NORMAL_STYLE
3033 size: FL_NORMAL_SIZE
3034 lcol: FL_BLACK
3035 label: collated
3036 shortcut:
3037 resize: FL_RESIZE_ALL
3038 gravity: FL_NoGravity FL_NoGravity
3039 name: input_collated
3040 callback: C_FormBaseDeprecatedInputCB
3041 argument: 0
3042
3043 --------------------
3044 class: FL_INPUT
3045 type: NORMAL_INPUT
3046 box: 360 165 80 30
3047 boxtype: FL_DOWN_BOX
3048 colors: FL_COL1 FL_MCOL
3049 alignment: FL_ALIGN_LEFT
3050 style: FL_NORMAL_STYLE
3051 size: FL_NORMAL_SIZE
3052 lcol: FL_BLACK
3053 label: landscape
3054 shortcut:
3055 resize: FL_RESIZE_ALL
3056 gravity: FL_NoGravity FL_NoGravity
3057 name: input_landscape
3058 callback: C_FormBaseDeprecatedInputCB
3059 argument: 0
3060
3061 --------------------
3062 class: FL_INPUT
3063 type: NORMAL_INPUT
3064 box: 360 195 80 30
3065 boxtype: FL_DOWN_BOX
3066 colors: FL_COL1 FL_MCOL
3067 alignment: FL_ALIGN_LEFT
3068 style: FL_NORMAL_STYLE
3069 size: FL_NORMAL_SIZE
3070 lcol: FL_BLACK
3071 label: to file
3072 shortcut:
3073 resize: FL_RESIZE_ALL
3074 gravity: FL_NoGravity FL_NoGravity
3075 name: input_to_file
3076 callback: C_FormBaseDeprecatedInputCB
3077 argument: 0
3078
3079 --------------------
3080 class: FL_INPUT
3081 type: NORMAL_INPUT
3082 box: 360 225 80 30
3083 boxtype: FL_DOWN_BOX
3084 colors: FL_COL1 FL_MCOL
3085 alignment: FL_ALIGN_LEFT
3086 style: FL_NORMAL_STYLE
3087 size: FL_NORMAL_SIZE
3088 lcol: FL_BLACK
3089 label: extra options
3090 shortcut:
3091 resize: FL_RESIZE_ALL
3092 gravity: FL_NoGravity FL_NoGravity
3093 name: input_extra_options
3094 callback: C_FormBaseDeprecatedInputCB
3095 argument: 0
3096
3097 --------------------
3098 class: FL_INPUT
3099 type: NORMAL_INPUT
3100 box: 360 255 80 30
3101 boxtype: FL_DOWN_BOX
3102 colors: FL_COL1 FL_MCOL
3103 alignment: FL_ALIGN_LEFT
3104 style: FL_NORMAL_STYLE
3105 size: FL_NORMAL_SIZE
3106 lcol: FL_BLACK
3107 label: spool printer prefix
3108 shortcut:
3109 resize: FL_RESIZE_ALL
3110 gravity: FL_NoGravity FL_NoGravity
3111 name: input_spool_prefix
3112 callback: C_FormBaseDeprecatedInputCB
3113 argument: 0
3114
3115 --------------------
3116 class: FL_INPUT
3117 type: NORMAL_INPUT
3118 box: 360 285 80 30
3119 boxtype: FL_DOWN_BOX
3120 colors: FL_COL1 FL_MCOL
3121 alignment: FL_ALIGN_LEFT
3122 style: FL_NORMAL_STYLE
3123 size: FL_NORMAL_SIZE
3124 lcol: FL_BLACK
3125 label: paper size
3126 shortcut:
3127 resize: FL_RESIZE_ALL
3128 gravity: FL_NoGravity FL_NoGravity
3129 name: input_paper_size
3130 callback: C_FormBaseDeprecatedInputCB
3131 argument: 0
3132
3133 --------------------
3134 class: FL_FRAME
3135 type: ENGRAVED_FRAME
3136 box: 10 5 435 45
3137 boxtype: FL_NO_BOX
3138 colors: FL_BLACK FL_COL1
3139 alignment: FL_ALIGN_CENTER
3140 style: FL_NORMAL_STYLE
3141 size: FL_DEFAULT_SIZE
3142 lcol: FL_BLACK
3143 label:
3144 shortcut:
3145 resize: FL_RESIZE_ALL
3146 gravity: FL_NoGravity FL_NoGravity
3147 name:
3148 callback:
3149 argument:
3150
3151 =============== FORM ===============
3152 Name: form_outputs_misc
3153 Width: 455
3154 Height: 375
3155 Number of Objects: 10
3156
3157 --------------------
3158 class: FL_BOX
3159 type: FLAT_BOX
3160 box: 0 0 455 375
3161 boxtype: FL_FLAT_BOX
3162 colors: FL_COL1 FL_COL1
3163 alignment: FL_ALIGN_CENTER
3164 style: FL_NORMAL_STYLE
3165 size: FL_DEFAULT_SIZE
3166 lcol: FL_BLACK
3167 label:
3168 shortcut:
3169 resize: FL_RESIZE_ALL
3170 gravity: FL_NorthWest FL_SouthEast
3171 name:
3172 callback:
3173 argument:
3174
3175 --------------------
3176 class: FL_COUNTER
3177 type: NORMAL_COUNTER
3178 box: 330 25 100 30
3179 boxtype: FL_UP_BOX
3180 colors: FL_COL1 FL_BLUE
3181 alignment: FL_ALIGN_LEFT
3182 style: FL_NORMAL_STYLE
3183 size: FL_NORMAL_SIZE
3184 lcol: FL_BLACK
3185 label: Ascii line length|#A
3186 shortcut:
3187 resize: FL_RESIZE_ALL
3188 gravity: FL_NoGravity FL_NoGravity
3189 name: counter_line_len
3190 callback: C_FormBaseDeprecatedInputCB
3191 argument: 0
3192   bounds: 0 120
3193   precision: 0
3194   value: 75
3195   sstep: 1
3196
3197 --------------------
3198 class: FL_INPUT
3199 type: NORMAL_INPUT
3200 box: 230 65 200 30
3201 boxtype: FL_DOWN_BOX
3202 colors: FL_COL1 FL_MCOL
3203 alignment: FL_ALIGN_LEFT
3204 style: FL_NORMAL_STYLE
3205 size: FL_NORMAL_SIZE
3206 lcol: FL_BLACK
3207 label: TeX encoding|#T
3208 shortcut:
3209 resize: FL_RESIZE_ALL
3210 gravity: FL_NoGravity FL_NoGravity
3211 name: input_tex_encoding
3212 callback: C_FormBaseDeprecatedInputCB
3213 argument: 0
3214
3215 --------------------
3216 class: FL_CHOICE
3217 type: NORMAL_CHOICE
3218 box: 230 105 199 29
3219 boxtype: FL_FRAME_BOX
3220 colors: FL_COL1 FL_BLACK
3221 alignment: FL_ALIGN_LEFT
3222 style: FL_NORMAL_STYLE
3223 size: FL_NORMAL_SIZE
3224 lcol: FL_BLACK
3225 label: Default paper size|#p
3226 shortcut:
3227 resize: FL_RESIZE_ALL
3228 gravity: FL_NoGravity FL_NoGravity
3229 name: choice_default_papersize
3230 callback: C_FormBaseDeprecatedInputCB
3231 argument: 0
3232
3233 --------------------
3234 class: FL_LABELFRAME
3235 type: ENGRAVED_FRAME
3236 box: 10 190 435 135
3237 boxtype: FL_NO_BOX
3238 colors: FL_BLACK FL_COL1
3239 alignment: FL_ALIGN_TOP_LEFT
3240 style: FL_BOLD_STYLE
3241 size: FL_NORMAL_SIZE
3242 lcol: FL_BLACK
3243 label: Outside code interaction
3244 shortcut:
3245 resize: FL_RESIZE_ALL
3246 gravity: FL_NoGravity FL_NoGravity
3247 name:
3248 callback:
3249 argument:
3250
3251 --------------------
3252 class: FL_INPUT
3253 type: NORMAL_INPUT
3254 box: 145 205 285 30
3255 boxtype: FL_DOWN_BOX
3256 colors: FL_COL1 FL_MCOL
3257 alignment: FL_ALIGN_LEFT
3258 style: FL_NORMAL_STYLE
3259 size: FL_NORMAL_SIZE
3260 lcol: FL_BLACK
3261 label: ascii roff|#r
3262 shortcut:
3263 resize: FL_RESIZE_ALL
3264 gravity: FL_NoGravity FL_NoGravity
3265 name: input_ascii_roff
3266 callback: C_FormBaseDeprecatedInputCB
3267 argument: 0
3268
3269 --------------------
3270 class: FL_INPUT
3271 type: NORMAL_INPUT
3272 box: 145 245 285 30
3273 boxtype: FL_DOWN_BOX
3274 colors: FL_COL1 FL_MCOL
3275 alignment: FL_ALIGN_LEFT
3276 style: FL_NORMAL_STYLE
3277 size: FL_NORMAL_SIZE
3278 lcol: FL_BLACK
3279 label: checktex|#c
3280 shortcut:
3281 resize: FL_RESIZE_ALL
3282 gravity: FL_NoGravity FL_NoGravity
3283 name: input_checktex
3284 callback: C_FormBaseDeprecatedInputCB
3285 argument: 0
3286
3287 --------------------
3288 class: FL_INPUT
3289 type: NORMAL_INPUT
3290 box: 145 285 285 30
3291 boxtype: FL_DOWN_BOX
3292 colors: FL_COL1 FL_MCOL
3293 alignment: FL_ALIGN_LEFT
3294 style: FL_NORMAL_STYLE
3295 size: FL_NORMAL_SIZE
3296 lcol: FL_BLACK
3297 label: DVI paper option|#D
3298 shortcut:
3299 resize: FL_RESIZE_ALL
3300 gravity: FL_NoGravity FL_NoGravity
3301 name: input_paperoption
3302 callback: C_FormBaseDeprecatedInputCB
3303 argument: 0
3304
3305 --------------------
3306 class: FL_FRAME
3307 type: ENGRAVED_FRAME
3308 box: 10 10 435 165
3309 boxtype: FL_NO_BOX
3310 colors: FL_BLACK FL_COL1
3311 alignment: FL_ALIGN_CENTER
3312 style: FL_NORMAL_STYLE
3313 size: FL_DEFAULT_SIZE
3314 lcol: FL_BLACK
3315 label:
3316 shortcut:
3317 resize: FL_RESIZE_ALL
3318 gravity: FL_NoGravity FL_NoGravity
3319 name:
3320 callback:
3321 argument:
3322
3323 --------------------
3324 class: FL_CHECKBUTTON
3325 type: PUSH_BUTTON
3326 box: 20 140 30 30
3327 boxtype: FL_NO_BOX
3328 colors: FL_COL1 FL_YELLOW
3329 alignment: FL_ALIGN_CENTER
3330 style: FL_NORMAL_STYLE
3331 size: FL_DEFAULT_SIZE
3332 lcol: FL_BLACK
3333 label: Autoreset Class Options on change|#u
3334 shortcut:
3335 resize: FL_RESIZE_ALL
3336 gravity: FL_NoGravity FL_NoGravity
3337 name: check_autoreset_classopt
3338 callback: C_FormBaseDeprecatedInputCB
3339 argument: 0
3340
3341 ==============================
3342 create_the_forms