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 90 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_cancel
 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_outer_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_outer
 199 callback:
 200 argument:
 201
 202 =============== FORM ===============
 203 Name: form_screen_fonts
 204 Width: 455
 205 Height: 375
 206 Number of Objects: 18
 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_INPUT
 228 type: NORMAL_INPUT
 229 box: 210 5 200 30
 230 boxtype: FL_DOWN_BOX
 231 colors: FL_COL1 FL_MCOL
 232 alignment: FL_ALIGN_LEFT
 233 style: FL_NORMAL_STYLE
 234 size: FL_NORMAL_SIZE
 235 lcol: FL_BLACK
 236 label: Roman
 237 shortcut:
 238 resize: FL_RESIZE_ALL
 239 gravity: FL_NoGravity FL_NoGravity
 240 name: input_roman
 241 callback: C_FormBaseDeprecatedInputCB
 242 argument: 0
 243
 244 --------------------
 245 class: FL_INPUT
 246 type: NORMAL_INPUT
 247 box: 210 35 200 30
 248 boxtype: FL_DOWN_BOX
 249 colors: FL_COL1 FL_MCOL
 250 alignment: FL_ALIGN_LEFT
 251 style: FL_NORMAL_STYLE
 252 size: FL_NORMAL_SIZE
 253 lcol: FL_BLACK
 254 label: Sans Serif
 255 shortcut:
 256 resize: FL_RESIZE_ALL
 257 gravity: FL_NoGravity FL_NoGravity
 258 name: input_sans
 259 callback: C_FormBaseDeprecatedInputCB
 260 argument: 0
 261
 262 --------------------
 263 class: FL_INPUT
 264 type: NORMAL_INPUT
 265 box: 210 65 200 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: Typewriter
 273 shortcut:
 274 resize: FL_RESIZE_ALL
 275 gravity: FL_NoGravity FL_NoGravity
 276 name: input_typewriter
 277 callback: C_FormBaseDeprecatedInputCB
 278 argument: 0
 279
 280 --------------------
 281 class: FL_INPUT
 282 type: NORMAL_INPUT
 283 box: 210 95 200 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: Encoding
 291 shortcut:
 292 resize: FL_RESIZE_ALL
 293 gravity: FL_NoGravity FL_NoGravity
 294 name: input_screen_encoding
 295 callback: C_FormBaseDeprecatedInputCB
 296 argument: 0
 297
 298 --------------------
 299 class: FL_CHECKBUTTON
 300 type: PUSH_BUTTON
 301 box: 60 143 33 31
 302 boxtype: FL_NO_BOX
 303 colors: FL_COL1 FL_YELLOW
 304 alignment: FL_ALIGN_RIGHT
 305 style: FL_NORMAL_STYLE
 306 size: FL_NORMAL_SIZE
 307 lcol: FL_BLACK
 308 label: Use scalable fonts
 309 shortcut:
 310 resize: FL_RESIZE_ALL
 311 gravity: FL_NoGravity FL_NoGravity
 312 name: check_scalable
 313 callback: C_FormBaseDeprecatedInputCB
 314 argument: 0
 315         value: 1
 316
 317 --------------------
 318 class: FL_COUNTER
 319 type: NORMAL_COUNTER
 320 box: 310 130 100 30
 321 boxtype: FL_UP_BOX
 322 colors: FL_COL1 FL_BLUE
 323 alignment: FL_ALIGN_LEFT
 324 style: FL_NORMAL_STYLE
 325 size: FL_NORMAL_SIZE
 326 lcol: FL_BLACK
 327 label: Zoom %|#Z
 328 shortcut:
 329 resize: FL_RESIZE_ALL
 330 gravity: FL_NoGravity FL_NoGravity
 331 name: counter_zoom
 332 callback: C_FormBaseDeprecatedInputCB
 333 argument: 0
 334   bounds: 0 999
 335   precision: 0
 336   value: 150
 337   sstep: 1
 338
 339 --------------------
 340 class: FL_COUNTER
 341 type: NORMAL_COUNTER
 342 box: 310 160 100 30
 343 boxtype: FL_UP_BOX
 344 colors: FL_COL1 FL_BLUE
 345 alignment: FL_ALIGN_LEFT
 346 style: FL_NORMAL_STYLE
 347 size: FL_NORMAL_SIZE
 348 lcol: FL_BLACK
 349 label: Screen DPI|#D
 350 shortcut:
 351 resize: FL_RESIZE_ALL
 352 gravity: FL_NoGravity FL_NoGravity
 353 name: counter_dpi
 354 callback: C_FormBaseDeprecatedInputCB
 355 argument: 0
 356   bounds: 0 999
 357   precision: 0
 358   value: 150
 359   sstep: 1
 360
 361 --------------------
 362 class: FL_INPUT
 363 type: FLOAT_INPUT
 364 box: 60 198 70 30
 365 boxtype: FL_DOWN_BOX
 366 colors: FL_COL1 FL_MCOL
 367 alignment: FL_ALIGN_LEFT
 368 style: FL_NORMAL_STYLE
 369 size: FL_NORMAL_SIZE
 370 lcol: FL_BLACK
 371 label: tiny
 372 shortcut:
 373 resize: FL_RESIZE_ALL
 374 gravity: FL_NoGravity FL_NoGravity
 375 name: input_tiny
 376 callback: C_FormBaseDeprecatedInputCB
 377 argument: 0
 378
 379 --------------------
 380 class: FL_INPUT
 381 type: FLOAT_INPUT
 382 box: 200 199 70 30
 383 boxtype: FL_DOWN_BOX
 384 colors: FL_COL1 FL_MCOL
 385 alignment: FL_ALIGN_LEFT
 386 style: FL_NORMAL_STYLE
 387 size: FL_NORMAL_SIZE
 388 lcol: FL_BLACK
 389 label: script
 390 shortcut:
 391 resize: FL_RESIZE_ALL
 392 gravity: FL_NoGravity FL_NoGravity
 393 name: input_script
 394 callback: C_FormBaseDeprecatedInputCB
 395 argument: 0
 396
 397 --------------------
 398 class: FL_INPUT
 399 type: FLOAT_INPUT
 400 box: 340 198 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: footnote
 408 shortcut:
 409 resize: FL_RESIZE_ALL
 410 gravity: FL_NoGravity FL_NoGravity
 411 name: input_footnote
 412 callback: C_FormBaseDeprecatedInputCB
 413 argument: 0
 414
 415 --------------------
 416 class: FL_INPUT
 417 type: FLOAT_INPUT
 418 box: 60 228 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: small
 426 shortcut:
 427 resize: FL_RESIZE_ALL
 428 gravity: FL_NoGravity FL_NoGravity
 429 name: input_small
 430 callback: C_FormBaseDeprecatedInputCB
 431 argument: 0
 432
 433 --------------------
 434 class: FL_INPUT
 435 type: FLOAT_INPUT
 436 box: 200 229 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: normal
 444 shortcut:
 445 resize: FL_RESIZE_ALL
 446 gravity: FL_NoGravity FL_NoGravity
 447 name: input_normal
 448 callback: C_FormBaseDeprecatedInputCB
 449 argument: 0
 450
 451 --------------------
 452 class: FL_INPUT
 453 type: FLOAT_INPUT
 454 box: 340 228 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: large
 462 shortcut:
 463 resize: FL_RESIZE_ALL
 464 gravity: FL_NoGravity FL_NoGravity
 465 name: input_large
 466 callback: C_FormBaseDeprecatedInputCB
 467 argument: 0
 468
 469 --------------------
 470 class: FL_INPUT
 471 type: FLOAT_INPUT
 472 box: 60 258 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: larger
 480 shortcut:
 481 resize: FL_RESIZE_ALL
 482 gravity: FL_NoGravity FL_NoGravity
 483 name: input_larger
 484 callback: C_FormBaseDeprecatedInputCB
 485 argument: 0
 486
 487 --------------------
 488 class: FL_INPUT
 489 type: FLOAT_INPUT
 490 box: 200 259 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: largest
 498 shortcut:
 499 resize: FL_RESIZE_ALL
 500 gravity: FL_NoGravity FL_NoGravity
 501 name: input_largest
 502 callback: C_FormBaseDeprecatedInputCB
 503 argument: 0
 504
 505 --------------------
 506 class: FL_INPUT
 507 type: FLOAT_INPUT
 508 box: 340 258 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: huge
 516 shortcut:
 517 resize: FL_RESIZE_ALL
 518 gravity: FL_NoGravity FL_NoGravity
 519 name: input_huge
 520 callback: C_FormBaseDeprecatedInputCB
 521 argument: 0
 522
 523 --------------------
 524 class: FL_INPUT
 525 type: FLOAT_INPUT
 526 box: 60 288 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: huger
 534 shortcut:
 535 resize: FL_RESIZE_ALL
 536 gravity: FL_NoGravity FL_NoGravity
 537 name: input_huger
 538 callback: C_FormBaseDeprecatedInputCB
 539 argument: 0
 540
 541 =============== FORM ===============
 542 Name: form_interface
 543 Width: 450
 544 Height: 350
 545 Number of Objects: 9
 546
 547 --------------------
 548 class: FL_BOX
 549 type: FLAT_BOX
 550 box: 0 0 450 350
 551 boxtype: FL_FLAT_BOX
 552 colors: FL_COL1 FL_COL1
 553 alignment: FL_ALIGN_CENTER
 554 style: FL_NORMAL_STYLE
 555 size: FL_DEFAULT_SIZE
 556 lcol: FL_BLACK
 557 label:
 558 shortcut:
 559 resize: FL_RESIZE_ALL
 560 gravity: FL_NoGravity FL_NoGravity
 561 name:
 562 callback:
 563 argument:
 564
 565 --------------------
 566 class: FL_INPUT
 567 type: NORMAL_INPUT
 568 box: 230 30 200 30
 569 boxtype: FL_DOWN_BOX
 570 colors: FL_COL1 FL_MCOL
 571 alignment: FL_ALIGN_LEFT
 572 style: FL_NORMAL_STYLE
 573 size: FL_NORMAL_SIZE
 574 lcol: FL_BLACK
 575 label: Popup Font
 576 shortcut:
 577 resize: FL_RESIZE_ALL
 578 gravity: FL_NoGravity FL_NoGravity
 579 name: input_popup_font
 580 callback: C_FormBaseDeprecatedInputCB
 581 argument: 0
 582
 583 --------------------
 584 class: FL_INPUT
 585 type: NORMAL_INPUT
 586 box: 230 60 200 30
 587 boxtype: FL_DOWN_BOX
 588 colors: FL_COL1 FL_MCOL
 589 alignment: FL_ALIGN_LEFT
 590 style: FL_NORMAL_STYLE
 591 size: FL_NORMAL_SIZE
 592 lcol: FL_BLACK
 593 label: Menu Font
 594 shortcut:
 595 resize: FL_RESIZE_ALL
 596 gravity: FL_NoGravity FL_NoGravity
 597 name: input_menu_font
 598 callback: C_FormBaseDeprecatedInputCB
 599 argument: 0
 600
 601 --------------------
 602 class: FL_INPUT
 603 type: NORMAL_INPUT
 604 box: 230 90 200 30
 605 boxtype: FL_DOWN_BOX
 606 colors: FL_COL1 FL_MCOL
 607 alignment: FL_ALIGN_LEFT
 608 style: FL_NORMAL_STYLE
 609 size: FL_NORMAL_SIZE
 610 lcol: FL_BLACK
 611 label: Popup Encoding
 612 shortcut:
 613 resize: FL_RESIZE_ALL
 614 gravity: FL_NoGravity FL_NoGravity
 615 name: input_popup_encoding
 616 callback: C_FormBaseDeprecatedInputCB
 617 argument: 0
 618
 619 --------------------
 620 class: FL_INPUT
 621 type: NORMAL_INPUT
 622 box: 160 148 190 30
 623 boxtype: FL_DOWN_BOX
 624 colors: FL_COL1 FL_MCOL
 625 alignment: FL_ALIGN_LEFT
 626 style: FL_NORMAL_STYLE
 627 size: FL_NORMAL_SIZE
 628 lcol: FL_BLACK
 629 label: User Interface file|#U
 630 shortcut:
 631 resize: FL_RESIZE_ALL
 632 gravity: FL_NoGravity FL_NoGravity
 633 name: input_ui_file
 634 callback: C_FormBaseDeprecatedInputCB
 635 argument: 0
 636
 637 --------------------
 638 class: FL_BUTTON
 639 type: NORMAL_BUTTON
 640 box: 350 148 80 30
 641 boxtype: FL_UP_BOX
 642 colors: FL_COL1 FL_COL1
 643 alignment: FL_ALIGN_CENTER
 644 style: FL_NORMAL_STYLE
 645 size: FL_NORMAL_SIZE
 646 lcol: FL_BLACK
 647 label: Browse...
 648 shortcut:
 649 resize: FL_RESIZE_ALL
 650 gravity: FL_NoGravity FL_NoGravity
 651 name: button_ui_file_browse
 652 callback: C_FormBaseDeprecatedInputCB
 653 argument: 0
 654
 655 --------------------
 656 class: FL_INPUT
 657 type: NORMAL_INPUT
 658 box: 160 178 190 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: Bind file|#B
 666 shortcut:
 667 resize: FL_RESIZE_ALL
 668 gravity: FL_NoGravity FL_NoGravity
 669 name: input_bind_file
 670 callback: C_FormBaseDeprecatedInputCB
 671 argument: 0
 672
 673 --------------------
 674 class: FL_BUTTON
 675 type: NORMAL_BUTTON
 676 box: 350 178 80 30
 677 boxtype: FL_UP_BOX
 678 colors: FL_COL1 FL_COL1
 679 alignment: FL_ALIGN_CENTER
 680 style: FL_NORMAL_STYLE
 681 size: FL_NORMAL_SIZE
 682 lcol: FL_BLACK
 683 label: Browse...
 684 shortcut:
 685 resize: FL_RESIZE_ALL
 686 gravity: FL_NoGravity FL_NoGravity
 687 name: button_bind_file_browse
 688 callback: C_FormBaseDeprecatedInputCB
 689 argument: 0
 690
 691 --------------------
 692 class: FL_CHECKBUTTON
 693 type: PUSH_BUTTON
 694 box: 24 230 30 30
 695 boxtype: FL_NO_BOX
 696 colors: FL_COL1 FL_YELLOW
 697 alignment: FL_ALIGN_CENTER
 698 style: FL_NORMAL_STYLE
 699 size: FL_NORMAL_SIZE
 700 lcol: FL_BLACK
 701 label: Override X-Windows dead-keys|#O
 702 shortcut:
 703 resize: FL_RESIZE_ALL
 704 gravity: FL_NoGravity FL_NoGravity
 705 name: check_override_x_dead_keys
 706 callback: C_FormBaseDeprecatedInputCB
 707 argument: 0
 708         value: 1
 709
 710 =============== FORM ===============
 711 Name: form_colors
 712 Width: 450
 713 Height: 360
 714 Number of Objects: 12
 715
 716 --------------------
 717 class: FL_BOX
 718 type: FLAT_BOX
 719 box: 0 0 450 360
 720 boxtype: FL_FLAT_BOX
 721 colors: FL_COL1 FL_COL1
 722 alignment: FL_ALIGN_CENTER
 723 style: FL_NORMAL_STYLE
 724 size: FL_DEFAULT_SIZE
 725 lcol: FL_BLACK
 726 label:
 727 shortcut:
 728 resize: FL_RESIZE_ALL
 729 gravity: FL_NoGravity FL_NoGravity
 730 name:
 731 callback:
 732 argument:
 733
 734 --------------------
 735 class: FL_BROWSER
 736 type: HOLD_BROWSER
 737 box: 10 25 195 290
 738 boxtype: FL_DOWN_BOX
 739 colors: FL_COL1 FL_YELLOW
 740 alignment: FL_ALIGN_TOP
 741 style: FL_NORMAL_STYLE
 742 size: FL_NORMAL_SIZE
 743 lcol: FL_BLACK
 744 label: LyX objects|#L
 745 shortcut:
 746 resize: FL_RESIZE_ALL
 747 gravity: FL_NoGravity FL_NoGravity
 748 name: browser_lyx_objs
 749 callback: C_FormBaseDeprecatedInputCB
 750 argument: 0
 751
 752 --------------------
 753 class: FL_DIAL
 754 type: NORMAL_DIAL
 755 box: 276 23 100 100
 756 boxtype: FL_FLAT_BOX
 757 colors: FL_COL1 FL_RIGHT_BCOL
 758 alignment: FL_ALIGN_CENTER
 759 style: FL_NORMAL_STYLE
 760 size: FL_DEFAULT_SIZE
 761 lcol: FL_BLACK
 762 label: H|#H
 763 shortcut:
 764 resize: FL_RESIZE_ALL
 765 gravity: FL_NoGravity FL_NoGravity
 766 name: dial_hue
 767 callback: C_FormBaseDeprecatedInputCB
 768 argument: 0
 769
 770 --------------------
 771 class: FL_SLIDER
 772 type: HOR_NICE_SLIDER
 773 box: 251 135 150 30
 774 boxtype: FL_DOWN_BOX
 775 colors: FL_COL1 FL_COL1
 776 alignment: FL_ALIGN_LEFT
 777 style: FL_NORMAL_STYLE
 778 size: FL_NORMAL_SIZE
 779 lcol: FL_BLACK
 780 label: S|#S
 781 shortcut:
 782 resize: FL_RESIZE_ALL
 783 gravity: FL_NoGravity FL_NoGravity
 784 name: slider_saturation
 785 callback: C_FormBaseDeprecatedInputCB
 786 argument: 0
 787         slsize: 0.15
 788
 789 --------------------
 790 class: FL_SLIDER
 791 type: HOR_NICE_SLIDER
 792 box: 251 175 150 30
 793 boxtype: FL_DOWN_BOX
 794 colors: FL_COL1 FL_COL1
 795 alignment: FL_ALIGN_LEFT
 796 style: FL_NORMAL_STYLE
 797 size: FL_NORMAL_SIZE
 798 lcol: FL_BLACK
 799 label: V|#V
 800 shortcut:
 801 resize: FL_RESIZE_ALL
 802 gravity: FL_NoGravity FL_NoGravity
 803 name: slider_value
 804 callback: C_FormBaseDeprecatedInputCB
 805 argument: 0
 806         slsize: 0.15
 807
 808 --------------------
 809 class: FL_SLIDER
 810 type: VERT_FILL_SLIDER
 811 box: 250 25 40 180
 812 boxtype: FL_DOWN_BOX
 813 colors: FL_COL1 FL_RED
 814 alignment: FL_ALIGN_BOTTOM
 815 style: FL_NORMAL_STYLE
 816 size: FL_NORMAL_SIZE
 817 lcol: FL_BLACK
 818 label: R|#R
 819 shortcut:
 820 resize: FL_RESIZE_ALL
 821 gravity: FL_NoGravity FL_NoGravity
 822 name: slider_red
 823 callback: C_FormBaseDeprecatedInputCB
 824 argument: 0
 825         slsize: 0.15
 826
 827 --------------------
 828 class: FL_SLIDER
 829 type: VERT_FILL_SLIDER
 830 box: 305 25 40 180
 831 boxtype: FL_DOWN_BOX
 832 colors: FL_COL1 FL_GREEN
 833 alignment: FL_ALIGN_BOTTOM
 834 style: FL_NORMAL_STYLE
 835 size: FL_NORMAL_SIZE
 836 lcol: FL_BLACK
 837 label: G|#G
 838 shortcut:
 839 resize: FL_RESIZE_ALL
 840 gravity: FL_NoGravity FL_NoGravity
 841 name: slider_green
 842 callback: C_FormBaseDeprecatedInputCB
 843 argument: 0
 844         slsize: 0.15
 845
 846 --------------------
 847 class: FL_SLIDER
 848 type: VERT_FILL_SLIDER
 849 box: 360 25 40 180
 850 boxtype: FL_DOWN_BOX
 851 colors: FL_COL1 FL_BLUE
 852 alignment: FL_ALIGN_BOTTOM
 853 style: FL_NORMAL_STYLE
 854 size: FL_NORMAL_SIZE
 855 lcol: FL_BLACK
 856 label: B|#B
 857 shortcut:
 858 resize: FL_RESIZE_ALL
 859 gravity: FL_NoGravity FL_NoGravity
 860 name: slider_blue
 861 callback: C_FormBaseDeprecatedInputCB
 862 argument: 0
 863         slsize: 0.15
 864
 865 --------------------
 866 class: FL_CHECKBUTTON
 867 type: PUSH_BUTTON
 868 box: 310 219 30 30
 869 boxtype: FL_NO_BOX
 870 colors: FL_COL1 FL_YELLOW
 871 alignment: FL_ALIGN_CENTER
 872 style: FL_NORMAL_STYLE
 873 size: FL_NORMAL_SIZE
 874 lcol: FL_BLACK
 875 label:
 876 shortcut:
 877 resize: FL_RESIZE_ALL
 878 gravity: FL_NoGravity FL_NoGravity
 879 name: button_colorspace
 880 callback: C_FormBaseDeprecatedInputCB
 881 argument: 0
 882
 883 --------------------
 884 class: FL_TEXT
 885 type: NORMAL_TEXT
 886 box: 250 250 150 30
 887 boxtype: FL_DOWN_BOX
 888 colors: FL_COL1 FL_MCOL
 889 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
 890 style: FL_NORMAL_STYLE
 891 size: FL_DEFAULT_SIZE
 892 lcol: FL_BLACK
 893 label:
 894 shortcut:
 895 resize: FL_RESIZE_ALL
 896 gravity: FL_NoGravity FL_NoGravity
 897 name: text_color_values
 898 callback:
 899 argument:
 900
 901 --------------------
 902 class: FL_BUTTON
 903 type: NORMAL_BUTTON
 904 box: 250 285 60 30
 905 boxtype: FL_BORDER_BOX
 906 colors: FL_WHITE FL_COL1
 907 alignment: FL_ALIGN_CENTER
 908 style: FL_NORMAL_STYLE
 909 size: FL_DEFAULT_SIZE
 910 lcol: FL_BLACK
 911 label:
 912 shortcut:
 913 resize: FL_RESIZE_ALL
 914 gravity: FL_NoGravity FL_NoGravity
 915 name: button_color
 916 callback:
 917 argument:
 918
 919 --------------------
 920 class: FL_BUTTON
 921 type: NORMAL_BUTTON
 922 box: 310 285 90 30
 923 boxtype: FL_UP_BOX
 924 colors: FL_COL1 FL_COL1
 925 alignment: FL_ALIGN_CENTER
 926 style: FL_NORMAL_STYLE
 927 size: FL_NORMAL_SIZE
 928 lcol: FL_BLACK
 929 label: Modify|#M
 930 shortcut:
 931 resize: FL_RESIZE_ALL
 932 gravity: FL_NoGravity FL_NoGravity
 933 name: button_modify
 934 callback: C_FormBaseDeprecatedInputCB
 935 argument: 0
 936
 937 =============== FORM ===============
 938 Name: form_lnf_misc
 939 Width: 450
 940 Height: 350
 941 Number of Objects: 9
 942
 943 --------------------
 944 class: FL_BOX
 945 type: FLAT_BOX
 946 box: 0 0 450 350
 947 boxtype: FL_FLAT_BOX
 948 colors: FL_COL1 FL_COL1
 949 alignment: FL_ALIGN_CENTER
 950 style: FL_NORMAL_STYLE
 951 size: FL_DEFAULT_SIZE
 952 lcol: FL_BLACK
 953 label:
 954 shortcut:
 955 resize: FL_RESIZE_ALL
 956 gravity: FL_NoGravity FL_NoGravity
 957 name:
 958 callback:
 959 argument:
 960
 961 --------------------
 962 class: FL_CHECKBUTTON
 963 type: PUSH_BUTTON
 964 box: 15 15 30 30
 965 boxtype: FL_NO_BOX
 966 colors: FL_COL1 FL_YELLOW
 967 alignment: FL_ALIGN_CENTER
 968 style: FL_NORMAL_STYLE
 969 size: FL_NORMAL_SIZE
 970 lcol: FL_BLACK
 971 label: Show banner|#S
 972 shortcut:
 973 resize: FL_RESIZE_ALL
 974 gravity: FL_NoGravity FL_NoGravity
 975 name: check_banner
 976 callback: C_FormBaseDeprecatedInputCB
 977 argument: 0
 978         value: 1
 979
 980 --------------------
 981 class: FL_CHECKBUTTON
 982 type: PUSH_BUTTON
 983 box: 15 45 30 30
 984 boxtype: FL_NO_BOX
 985 colors: FL_COL1 FL_YELLOW
 986 alignment: FL_ALIGN_CENTER
 987 style: FL_NORMAL_STYLE
 988 size: FL_NORMAL_SIZE
 989 lcol: FL_BLACK
 990 label: Auto region delete|#A
 991 shortcut:
 992 resize: FL_RESIZE_ALL
 993 gravity: FL_NoGravity FL_NoGravity
 994 name: check_auto_region_delete
 995 callback: C_FormBaseDeprecatedInputCB
 996 argument: 0
 997         value: 1
 998
 999 --------------------
1000 class: FL_CHECKBUTTON
1001 type: PUSH_BUTTON
1002 box: 15 75 30 30
1003 boxtype: FL_NO_BOX
1004 colors: FL_COL1 FL_YELLOW
1005 alignment: FL_ALIGN_CENTER
1006 style: FL_NORMAL_STYLE
1007 size: FL_NORMAL_SIZE
1008 lcol: FL_BLACK
1009 label: Exit confirmation|#E
1010 shortcut:
1011 resize: FL_RESIZE_ALL
1012 gravity: FL_NoGravity FL_NoGravity
1013 name: check_exit_confirm
1014 callback: C_FormBaseDeprecatedInputCB
1015 argument: 0
1016         value: 1
1017
1018 --------------------
1019 class: FL_CHECKBUTTON
1020 type: PUSH_BUTTON
1021 box: 15 105 30 30
1022 boxtype: FL_NO_BOX
1023 colors: FL_COL1 FL_YELLOW
1024 alignment: FL_ALIGN_CENTER
1025 style: FL_NORMAL_STYLE
1026 size: FL_NORMAL_SIZE
1027 lcol: FL_BLACK
1028 label: Display keyboard shortcuts
1029 shortcut:
1030 resize: FL_RESIZE_ALL
1031 gravity: FL_NoGravity FL_NoGravity
1032 name: check_display_shrtcuts
1033 callback: C_FormBaseDeprecatedInputCB
1034 argument: 0
1035         value: 1
1036
1037 --------------------
1038 class: FL_CHECKBUTTON
1039 type: PUSH_BUTTON
1040 box: 15 135 30 30
1041 boxtype: FL_NO_BOX
1042 colors: FL_COL1 FL_YELLOW
1043 alignment: FL_ALIGN_CENTER
1044 style: FL_NORMAL_STYLE
1045 size: FL_NORMAL_SIZE
1046 lcol: FL_BLACK
1047 label: File->New asks for name|#N
1048 shortcut:
1049 resize: FL_RESIZE_ALL
1050 gravity: FL_NoGravity FL_NoGravity
1051 name: check_ask_new_file
1052 callback: C_FormBaseDeprecatedInputCB
1053 argument: 0
1054         value: 1
1055
1056 --------------------
1057 class: FL_CHECKBUTTON
1058 type: PUSH_BUTTON
1059 box: 15 165 30 30
1060 boxtype: FL_NO_BOX
1061 colors: FL_COL1 FL_YELLOW
1062 alignment: FL_ALIGN_CENTER
1063 style: FL_NORMAL_STYLE
1064 size: FL_NORMAL_SIZE
1065 lcol: FL_BLACK
1066 label: Cursor follows scrollbar|#C
1067 shortcut:
1068 resize: FL_RESIZE_ALL
1069 gravity: FL_NoGravity FL_NoGravity
1070 name: check_cursor_follows_scrollbar
1071 callback: C_FormBaseDeprecatedInputCB
1072 argument: 0
1073         value: 1
1074
1075 --------------------
1076 class: FL_COUNTER
1077 type: NORMAL_COUNTER
1078 box: 320 225 115 30
1079 boxtype: FL_UP_BOX
1080 colors: FL_COL1 FL_BLUE
1081 alignment: FL_ALIGN_LEFT
1082 style: FL_NORMAL_STYLE
1083 size: FL_NORMAL_SIZE
1084 lcol: FL_BLACK
1085 label: Wheel mouse jump
1086 shortcut:
1087 resize: FL_RESIZE_ALL
1088 gravity: FL_NoGravity FL_NoGravity
1089 name: counter_wm_jump
1090 callback: C_FormBaseDeprecatedInputCB
1091 argument: 0
1092   bounds: 0 250
1093   precision: 0
1094   value: 100
1095   sstep: 1
1096
1097 --------------------
1098 class: FL_COUNTER
1099 type: NORMAL_COUNTER
1100 box: 320 255 115 30
1101 boxtype: FL_UP_BOX
1102 colors: FL_COL1 FL_BLUE
1103 alignment: FL_ALIGN_LEFT
1104 style: FL_NORMAL_STYLE
1105 size: FL_NORMAL_SIZE
1106 lcol: FL_BLACK
1107 label: Autosave interval
1108 shortcut:
1109 resize: FL_RESIZE_ALL
1110 gravity: FL_NoGravity FL_NoGravity
1111 name: counter_autosave
1112 callback: C_FormBaseDeprecatedInputCB
1113 argument: 0
1114   bounds: 0 1200
1115   precision: 0
1116   value: 300
1117   sstep: 1
1118
1119 =============== FORM ===============
1120 Name: form_spelloptions
1121 Width: 450
1122 Height: 360
1123 Number of Objects: 11
1124
1125 --------------------
1126 class: FL_BOX
1127 type: FLAT_BOX
1128 box: 0 0 450 360
1129 boxtype: FL_FLAT_BOX
1130 colors: FL_COL1 FL_COL1
1131 alignment: FL_ALIGN_CENTER
1132 style: FL_NORMAL_STYLE
1133 size: FL_DEFAULT_SIZE
1134 lcol: FL_BLACK
1135 label:
1136 shortcut:
1137 resize: FL_RESIZE_ALL
1138 gravity: FL_NoGravity FL_NoGravity
1139 name:
1140 callback:
1141 argument:
1142
1143 --------------------
1144 class: FL_CHOICE
1145 type: NORMAL_CHOICE
1146 box: 141 47 171 34
1147 boxtype: FL_FRAME_BOX
1148 colors: FL_COL1 FL_BLACK
1149 alignment: FL_ALIGN_TOP
1150 style: FL_NORMAL_STYLE
1151 size: FL_NORMAL_SIZE
1152 lcol: FL_BLACK
1153 label: Spell command|#S
1154 shortcut:
1155 resize: FL_RESIZE_ALL
1156 gravity: FL_NoGravity FL_NoGravity
1157 name: choice_spell_command
1158 callback: C_FormBaseDeprecatedInputCB
1159 argument: 0
1160
1161 --------------------
1162 class: FL_CHECKBUTTON
1163 type: PUSH_BUTTON
1164 box: 208 100 30 30
1165 boxtype: FL_NO_BOX
1166 colors: FL_COL1 FL_YELLOW
1167 alignment: FL_ALIGN_LEFT
1168 style: FL_NORMAL_STYLE
1169 size: FL_NORMAL_SIZE
1170 lcol: FL_BLACK
1171 label: Use alternative language|#a
1172 shortcut:
1173 resize: FL_RESIZE_ALL
1174 gravity: FL_NoGravity FL_NoGravity
1175 name: check_alt_lang
1176 callback: C_FormBaseDeprecatedInputCB
1177 argument: 0
1178
1179 --------------------
1180 class: FL_INPUT
1181 type: NORMAL_INPUT
1182 box: 239 100 170 30
1183 boxtype: FL_DOWN_BOX
1184 colors: FL_COL1 FL_MCOL
1185 alignment: FL_ALIGN_LEFT
1186 style: FL_NORMAL_STYLE
1187 size: FL_DEFAULT_SIZE
1188 lcol: FL_BLACK
1189 label:
1190 shortcut:
1191 resize: FL_RESIZE_ALL
1192 gravity: FL_NoGravity FL_NoGravity
1193 name: input_alt_lang
1194 callback: C_FormBaseDeprecatedInputCB
1195 argument: 0
1196
1197 --------------------
1198 class: FL_CHECKBUTTON
1199 type: PUSH_BUTTON
1200 box: 208 130 30 30
1201 boxtype: FL_NO_BOX
1202 colors: FL_COL1 FL_YELLOW
1203 alignment: FL_ALIGN_LEFT
1204 style: FL_NORMAL_STYLE
1205 size: FL_NORMAL_SIZE
1206 lcol: FL_BLACK
1207 label: Use escape characters|#e
1208 shortcut:
1209 resize: FL_RESIZE_ALL
1210 gravity: FL_NoGravity FL_NoGravity
1211 name: check_escape_chars
1212 callback: C_FormBaseDeprecatedInputCB
1213 argument: 0
1214
1215 --------------------
1216 class: FL_INPUT
1217 type: NORMAL_INPUT
1218 box: 239 130 170 30
1219 boxtype: FL_DOWN_BOX
1220 colors: FL_COL1 FL_MCOL
1221 alignment: FL_ALIGN_LEFT
1222 style: FL_NORMAL_STYLE
1223 size: FL_DEFAULT_SIZE
1224 lcol: FL_BLACK
1225 label:
1226 shortcut:
1227 resize: FL_RESIZE_ALL
1228 gravity: FL_NoGravity FL_NoGravity
1229 name: input_escape_chars
1230 callback: C_FormBaseDeprecatedInputCB
1231 argument: 0
1232
1233 --------------------
1234 class: FL_CHECKBUTTON
1235 type: PUSH_BUTTON
1236 box: 208 160 30 30
1237 boxtype: FL_NO_BOX
1238 colors: FL_COL1 FL_YELLOW
1239 alignment: FL_ALIGN_LEFT
1240 style: FL_NORMAL_STYLE
1241 size: FL_NORMAL_SIZE
1242 lcol: FL_BLACK
1243 label: Use personal dictionary|#d
1244 shortcut:
1245 resize: FL_RESIZE_ALL
1246 gravity: FL_NoGravity FL_NoGravity
1247 name: check_personal_dict
1248 callback: C_FormBaseDeprecatedInputCB
1249 argument: 0
1250
1251 --------------------
1252 class: FL_INPUT
1253 type: NORMAL_INPUT
1254 box: 239 160 170 30
1255 boxtype: FL_DOWN_BOX
1256 colors: FL_COL1 FL_MCOL
1257 alignment: FL_ALIGN_LEFT
1258 style: FL_NORMAL_STYLE
1259 size: FL_DEFAULT_SIZE
1260 lcol: FL_BLACK
1261 label:
1262 shortcut:
1263 resize: FL_RESIZE_ALL
1264 gravity: FL_NoGravity FL_NoGravity
1265 name: input_personal_dict
1266 callback: C_FormBaseDeprecatedInputCB
1267 argument: 0
1268
1269 --------------------
1270 class: FL_BUTTON
1271 type: NORMAL_BUTTON
1272 box: 239 190 89 30
1273 boxtype: FL_UP_BOX
1274 colors: FL_COL1 FL_COL1
1275 alignment: FL_ALIGN_CENTER
1276 style: FL_NORMAL_STYLE
1277 size: FL_NORMAL_SIZE
1278 lcol: FL_BLACK
1279 label: Browse...|#B
1280 shortcut:
1281 resize: FL_RESIZE_ALL
1282 gravity: FL_NoGravity FL_NoGravity
1283 name: button_personal_dict
1284 callback: C_FormBaseDeprecatedInputCB
1285 argument: 0
1286
1287 --------------------
1288 class: FL_CHECKBUTTON
1289 type: PUSH_BUTTON
1290 box: 130 230 30 30
1291 boxtype: FL_NO_BOX
1292 colors: FL_COL1 FL_YELLOW
1293 alignment: FL_ALIGN_RIGHT
1294 style: FL_NORMAL_STYLE
1295 size: FL_NORMAL_SIZE
1296 lcol: FL_BLACK
1297 label: Accept compound words|#w
1298 shortcut:
1299 resize: FL_RESIZE_ALL
1300 gravity: FL_NoGravity FL_NoGravity
1301 name: check_compound_words
1302 callback: C_FormBaseDeprecatedInputCB
1303 argument: 0
1304
1305 --------------------
1306 class: FL_CHECKBUTTON
1307 type: PUSH_BUTTON
1308 box: 130 260 30 30
1309 boxtype: FL_NO_BOX
1310 colors: FL_COL1 FL_YELLOW
1311 alignment: FL_ALIGN_RIGHT
1312 style: FL_NORMAL_STYLE
1313 size: FL_NORMAL_SIZE
1314 lcol: FL_BLACK
1315 label: Use input encoding|#i
1316 shortcut:
1317 resize: FL_RESIZE_ALL
1318 gravity: FL_NoGravity FL_NoGravity
1319 name: check_input_enc
1320 callback: C_FormBaseDeprecatedInputCB
1321 argument: 0
1322
1323 =============== FORM ===============
1324 Name: form_language
1325 Width: 450
1326 Height: 360
1327 Number of Objects: 16
1328
1329 --------------------
1330 class: FL_BOX
1331 type: FLAT_BOX
1332 box: 0 0 450 360
1333 boxtype: FL_FLAT_BOX
1334 colors: FL_COL1 FL_COL1
1335 alignment: FL_ALIGN_CENTER
1336 style: FL_NORMAL_STYLE
1337 size: FL_DEFAULT_SIZE
1338 lcol: FL_BLACK
1339 label:
1340 shortcut:
1341 resize: FL_RESIZE_ALL
1342 gravity: FL_NoGravity FL_NoGravity
1343 name:
1344 callback:
1345 argument:
1346
1347 --------------------
1348 class: FL_INPUT
1349 type: NORMAL_INPUT
1350 box: 131 18 300 30
1351 boxtype: FL_DOWN_BOX
1352 colors: FL_COL1 FL_MCOL
1353 alignment: FL_ALIGN_LEFT
1354 style: FL_NORMAL_STYLE
1355 size: FL_NORMAL_SIZE
1356 lcol: FL_BLACK
1357 label: Package|#P
1358 shortcut:
1359 resize: FL_RESIZE_ALL
1360 gravity: FL_NoGravity FL_NoGravity
1361 name: input_package
1362 callback: C_FormBaseDeprecatedInputCB
1363 argument: 0
1364
1365 --------------------
1366 class: FL_CHOICE
1367 type: NORMAL_CHOICE
1368 box: 231 56 200 30
1369 boxtype: FL_FRAME_BOX
1370 colors: FL_COL1 FL_BLACK
1371 alignment: FL_ALIGN_LEFT
1372 style: FL_NORMAL_STYLE
1373 size: FL_DEFAULT_SIZE
1374 lcol: FL_BLACK
1375 label: Default language|#l
1376 shortcut:
1377 resize: FL_RESIZE_ALL
1378 gravity: FL_NoGravity FL_NoGravity
1379 name: choice_default_lang
1380 callback: C_FormBaseDeprecatedInputCB
1381 argument: 0
1382
1383 --------------------
1384 class: FL_CHECKBUTTON
1385 type: PUSH_BUTTON
1386 box: 78 113 30 30
1387 boxtype: FL_NO_BOX
1388 colors: FL_COL1 FL_YELLOW
1389 alignment: FL_ALIGN_LEFT
1390 style: FL_NORMAL_STYLE
1391 size: FL_NORMAL_SIZE
1392 lcol: FL_BLACK
1393 label: Keyboard\nmap|#K
1394 shortcut:
1395 resize: FL_RESIZE_ALL
1396 gravity: FL_NoGravity FL_NoGravity
1397 name: check_use_kbmap
1398 callback: C_FormBaseDeprecatedInputCB
1399 argument: 0
1400
1401 --------------------
1402 class: FL_INPUT
1403 type: NORMAL_INPUT
1404 box: 144 97 195 30
1405 boxtype: FL_DOWN_BOX
1406 colors: FL_COL1 FL_MCOL
1407 alignment: FL_ALIGN_LEFT
1408 style: FL_NORMAL_STYLE
1409 size: FL_NORMAL_SIZE
1410 lcol: FL_BLACK
1411 label: 1st|#1
1412 shortcut:
1413 resize: FL_RESIZE_ALL
1414 gravity: FL_NoGravity FL_NoGravity
1415 name: input_kbmap1
1416 callback: C_FormBaseDeprecatedInputCB
1417 argument: 0
1418
1419 --------------------
1420 class: FL_INPUT
1421 type: NORMAL_INPUT
1422 box: 144 129 195 30
1423 boxtype: FL_DOWN_BOX
1424 colors: FL_COL1 FL_MCOL
1425 alignment: FL_ALIGN_LEFT
1426 style: FL_NORMAL_STYLE
1427 size: FL_NORMAL_SIZE
1428 lcol: FL_BLACK
1429 label: 2nd|#2
1430 shortcut:
1431 resize: FL_RESIZE_ALL
1432 gravity: FL_NoGravity FL_NoGravity
1433 name: input_kbmap2
1434 callback: C_FormBaseDeprecatedInputCB
1435 argument: 0
1436
1437 --------------------
1438 class: FL_BUTTON
1439 type: NORMAL_BUTTON
1440 box: 341 99 90 30
1441 boxtype: FL_UP_BOX
1442 colors: FL_COL1 FL_COL1
1443 alignment: FL_ALIGN_CENTER
1444 style: FL_NORMAL_STYLE
1445 size: FL_DEFAULT_SIZE
1446 lcol: FL_BLACK
1447 label: Browse
1448 shortcut:
1449 resize: FL_RESIZE_ALL
1450 gravity: FL_NoGravity FL_NoGravity
1451 name: button_kbmap1_browse
1452 callback: C_FormBaseDeprecatedInputCB
1453 argument: 0
1454
1455 --------------------
1456 class: FL_BUTTON
1457 type: NORMAL_BUTTON
1458 box: 341 128 90 30
1459 boxtype: FL_UP_BOX
1460 colors: FL_COL1 FL_COL1
1461 alignment: FL_ALIGN_CENTER
1462 style: FL_NORMAL_STYLE
1463 size: FL_DEFAULT_SIZE
1464 lcol: FL_BLACK
1465 label: Browse
1466 shortcut:
1467 resize: FL_RESIZE_ALL
1468 gravity: FL_NoGravity FL_NoGravity
1469 name: button_kbmap2_browse
1470 callback: C_FormBaseDeprecatedInputCB
1471 argument: 0
1472
1473 --------------------
1474 class: FL_CHECKBUTTON
1475 type: PUSH_BUTTON
1476 box: 140 161 30 30
1477 boxtype: FL_NO_BOX
1478 colors: FL_COL1 FL_YELLOW
1479 alignment: FL_ALIGN_LEFT
1480 style: FL_NORMAL_STYLE
1481 size: FL_NORMAL_SIZE
1482 lcol: FL_BLACK
1483 label: RtL support|#R
1484 shortcut:
1485 resize: FL_RESIZE_ALL
1486 gravity: FL_NoGravity FL_NoGravity
1487 name: check_rtl_support
1488 callback: C_FormBaseDeprecatedInputCB
1489 argument: 0
1490
1491 --------------------
1492 class: FL_CHECKBUTTON
1493 type: PUSH_BUTTON
1494 box: 265 161 30 30
1495 boxtype: FL_NO_BOX
1496 colors: FL_COL1 FL_YELLOW
1497 alignment: FL_ALIGN_LEFT
1498 style: FL_NORMAL_STYLE
1499 size: FL_NORMAL_SIZE
1500 lcol: FL_BLACK
1501 label: Auto begin|#b
1502 shortcut:
1503 resize: FL_RESIZE_ALL
1504 gravity: FL_NoGravity FL_NoGravity
1505 name: check_auto_begin
1506 callback: C_FormBaseDeprecatedInputCB
1507 argument: 0
1508
1509 --------------------
1510 class: FL_CHECKBUTTON
1511 type: PUSH_BUTTON
1512 box: 390 161 30 30
1513 boxtype: FL_NO_BOX
1514 colors: FL_COL1 FL_YELLOW
1515 alignment: FL_ALIGN_LEFT
1516 style: FL_NORMAL_STYLE
1517 size: FL_NORMAL_SIZE
1518 lcol: FL_BLACK
1519 label: Use babel|#U
1520 shortcut:
1521 resize: FL_RESIZE_ALL
1522 gravity: FL_NoGravity FL_NoGravity
1523 name: check_use_babel
1524 callback: C_FormBaseDeprecatedInputCB
1525 argument: 0
1526
1527 --------------------
1528 class: FL_CHECKBUTTON
1529 type: PUSH_BUTTON
1530 box: 140 187 30 30
1531 boxtype: FL_NO_BOX
1532 colors: FL_COL1 FL_YELLOW
1533 alignment: FL_ALIGN_LEFT
1534 style: FL_NORMAL_STYLE
1535 size: FL_NORMAL_SIZE
1536 lcol: FL_BLACK
1537 label: Mark foreign|#M
1538 shortcut:
1539 resize: FL_RESIZE_ALL
1540 gravity: FL_NoGravity FL_NoGravity
1541 name: check_mark_foreign
1542 callback: C_FormBaseDeprecatedInputCB
1543 argument: 0
1544
1545 --------------------
1546 class: FL_CHECKBUTTON
1547 type: PUSH_BUTTON
1548 box: 265 187 30 30
1549 boxtype: FL_NO_BOX
1550 colors: FL_COL1 FL_YELLOW
1551 alignment: FL_ALIGN_LEFT
1552 style: FL_NORMAL_STYLE
1553 size: FL_NORMAL_SIZE
1554 lcol: FL_BLACK
1555 label: Auto finish|#f
1556 shortcut:
1557 resize: FL_RESIZE_ALL
1558 gravity: FL_NoGravity FL_NoGravity
1559 name: check_auto_end
1560 callback: C_FormBaseDeprecatedInputCB
1561 argument: 0
1562
1563 --------------------
1564 class: FL_CHECKBUTTON
1565 type: PUSH_BUTTON
1566 box: 390 187 30 30
1567 boxtype: FL_NO_BOX
1568 colors: FL_COL1 FL_YELLOW
1569 alignment: FL_ALIGN_LEFT
1570 style: FL_NORMAL_STYLE
1571 size: FL_NORMAL_SIZE
1572 lcol: FL_BLACK
1573 label: Global|#G
1574 shortcut:
1575 resize: FL_RESIZE_ALL
1576 gravity: FL_NoGravity FL_NoGravity
1577 name: check_global_options
1578 callback: C_FormBaseDeprecatedInputCB
1579 argument: 0
1580
1581 --------------------
1582 class: FL_INPUT
1583 type: NORMAL_INPUT
1584 box: 131 224 300 30
1585 boxtype: FL_DOWN_BOX
1586 colors: FL_COL1 FL_MCOL
1587 alignment: FL_ALIGN_LEFT
1588 style: FL_NORMAL_STYLE
1589 size: FL_NORMAL_SIZE
1590 lcol: FL_BLACK
1591 label: Command start|#s
1592 shortcut:
1593 resize: FL_RESIZE_ALL
1594 gravity: FL_NoGravity FL_NoGravity
1595 name: input_command_begin
1596 callback: C_FormBaseDeprecatedInputCB
1597 argument: 0
1598
1599 --------------------
1600 class: FL_INPUT
1601 type: NORMAL_INPUT
1602 box: 131 257 300 30
1603 boxtype: FL_DOWN_BOX
1604 colors: FL_COL1 FL_MCOL
1605 alignment: FL_ALIGN_LEFT
1606 style: FL_NORMAL_STYLE
1607 size: FL_NORMAL_SIZE
1608 lcol: FL_BLACK
1609 label: Command end|#e
1610 shortcut:
1611 resize: FL_RESIZE_ALL
1612 gravity: FL_NoGravity FL_NoGravity
1613 name: input_command_end
1614 callback: C_FormBaseDeprecatedInputCB
1615 argument: 0
1616
1617 =============== FORM ===============
1618 Name: form_formats
1619 Width: 450
1620 Height: 360
1621 Number of Objects: 9
1622
1623 --------------------
1624 class: FL_BOX
1625 type: FLAT_BOX
1626 box: 0 0 450 360
1627 boxtype: FL_FLAT_BOX
1628 colors: FL_COL1 FL_COL1
1629 alignment: FL_ALIGN_CENTER
1630 style: FL_NORMAL_STYLE
1631 size: FL_DEFAULT_SIZE
1632 lcol: FL_BLACK
1633 label:
1634 shortcut:
1635 resize: FL_RESIZE_ALL
1636 gravity: FL_NoGravity FL_NoGravity
1637 name:
1638 callback:
1639 argument:
1640
1641 --------------------
1642 class: FL_BROWSER
1643 type: HOLD_BROWSER
1644 box: 30 30 160 270
1645 boxtype: FL_DOWN_BOX
1646 colors: FL_COL1 FL_YELLOW
1647 alignment: FL_ALIGN_TOP
1648 style: FL_NORMAL_STYLE
1649 size: FL_NORMAL_SIZE
1650 lcol: FL_BLACK
1651 label: All formats|#A
1652 shortcut:
1653 resize: FL_RESIZE_ALL
1654 gravity: FL_NoGravity FL_NoGravity
1655 name: browser_all
1656 callback: C_FormBaseDeprecatedInputCB
1657 argument: 0
1658
1659 --------------------
1660 class: FL_INPUT
1661 type: NORMAL_INPUT
1662 box: 280 30 150 30
1663 boxtype: FL_DOWN_BOX
1664 colors: FL_COL1 FL_MCOL
1665 alignment: FL_ALIGN_LEFT
1666 style: FL_NORMAL_STYLE
1667 size: FL_NORMAL_SIZE
1668 lcol: FL_BLACK
1669 label: Format|#F
1670 shortcut:
1671 resize: FL_RESIZE_ALL
1672 gravity: FL_NoGravity FL_NoGravity
1673 name: input_format
1674 callback: C_FormBaseDeprecatedInputCB
1675 argument: 0
1676
1677 --------------------
1678 class: FL_INPUT
1679 type: NORMAL_INPUT
1680 box: 280 70 150 30
1681 boxtype: FL_DOWN_BOX
1682 colors: FL_COL1 FL_MCOL
1683 alignment: FL_ALIGN_LEFT
1684 style: FL_NORMAL_STYLE
1685 size: FL_NORMAL_SIZE
1686 lcol: FL_BLACK
1687 label: GUI name|#G
1688 shortcut:
1689 resize: FL_RESIZE_ALL
1690 gravity: FL_NoGravity FL_NoGravity
1691 name: input_gui_name
1692 callback: C_FormBaseDeprecatedInputCB
1693 argument: 0
1694
1695 --------------------
1696 class: FL_INPUT
1697 type: NORMAL_INPUT
1698 box: 280 110 150 30
1699 boxtype: FL_DOWN_BOX
1700 colors: FL_COL1 FL_MCOL
1701 alignment: FL_ALIGN_LEFT
1702 style: FL_NORMAL_STYLE
1703 size: FL_NORMAL_SIZE
1704 lcol: FL_BLACK
1705 label: Shortcut|#S
1706 shortcut:
1707 resize: FL_RESIZE_ALL
1708 gravity: FL_NoGravity FL_NoGravity
1709 name: input_shrtcut
1710 callback: C_FormBaseDeprecatedInputCB
1711 argument: 0
1712
1713 --------------------
1714 class: FL_INPUT
1715 type: NORMAL_INPUT
1716 box: 280 150 150 30
1717 boxtype: FL_DOWN_BOX
1718 colors: FL_COL1 FL_MCOL
1719 alignment: FL_ALIGN_LEFT
1720 style: FL_NORMAL_STYLE
1721 size: FL_NORMAL_SIZE
1722 lcol: FL_BLACK
1723 label: Extension|#E
1724 shortcut:
1725 resize: FL_RESIZE_ALL
1726 gravity: FL_NoGravity FL_NoGravity
1727 name: input_extension
1728 callback: C_FormBaseDeprecatedInputCB
1729 argument: 0
1730
1731 --------------------
1732 class: FL_INPUT
1733 type: NORMAL_INPUT
1734 box: 280 190 150 30
1735 boxtype: FL_DOWN_BOX
1736 colors: FL_COL1 FL_MCOL
1737 alignment: FL_ALIGN_LEFT
1738 style: FL_NORMAL_STYLE
1739 size: FL_NORMAL_SIZE
1740 lcol: FL_BLACK
1741 label: Viewer|#V
1742 shortcut:
1743 resize: FL_RESIZE_ALL
1744 gravity: FL_NoGravity FL_NoGravity
1745 name: input_viewer
1746 callback: C_FormBaseDeprecatedInputCB
1747 argument: 0
1748
1749 --------------------
1750 class: FL_BUTTON
1751 type: NORMAL_BUTTON
1752 box: 240 270 90 30
1753 boxtype: FL_UP_BOX
1754 colors: FL_COL1 FL_COL1
1755 alignment: FL_ALIGN_CENTER
1756 style: FL_NORMAL_STYLE
1757 size: FL_NORMAL_SIZE
1758 lcol: FL_BLACK
1759 label: Add|#A
1760 shortcut:
1761 resize: FL_RESIZE_ALL
1762 gravity: FL_NoGravity FL_NoGravity
1763 name: button_add
1764 callback: C_FormBaseDeprecatedInputCB
1765 argument: 0
1766
1767 --------------------
1768 class: FL_BUTTON
1769 type: NORMAL_BUTTON
1770 box: 340 270 90 30
1771 boxtype: FL_UP_BOX
1772 colors: FL_COL1 FL_COL1
1773 alignment: FL_ALIGN_CENTER
1774 style: FL_NORMAL_STYLE
1775 size: FL_NORMAL_SIZE
1776 lcol: FL_BLACK
1777 label: Delete|#D
1778 shortcut:
1779 resize: FL_RESIZE_ALL
1780 gravity: FL_NoGravity FL_NoGravity
1781 name: button_delete
1782 callback: C_FormBaseDeprecatedInputCB
1783 argument: 0
1784
1785 =============== FORM ===============
1786 Name: form_converters
1787 Width: 450
1788 Height: 360
1789 Number of Objects: 8
1790
1791 --------------------
1792 class: FL_BOX
1793 type: FLAT_BOX
1794 box: 0 0 450 360
1795 boxtype: FL_FLAT_BOX
1796 colors: FL_COL1 FL_COL1
1797 alignment: FL_ALIGN_CENTER
1798 style: FL_NORMAL_STYLE
1799 size: FL_DEFAULT_SIZE
1800 lcol: FL_BLACK
1801 label:
1802 shortcut:
1803 resize: FL_RESIZE_ALL
1804 gravity: FL_NoGravity FL_NoGravity
1805 name:
1806 callback:
1807 argument:
1808
1809 --------------------
1810 class: FL_BROWSER
1811 type: HOLD_BROWSER
1812 box: 30 30 160 270
1813 boxtype: FL_DOWN_BOX
1814 colors: FL_COL1 FL_YELLOW
1815 alignment: FL_ALIGN_TOP
1816 style: FL_NORMAL_STYLE
1817 size: FL_NORMAL_SIZE
1818 lcol: FL_BLACK
1819 label: All converters|#A
1820 shortcut:
1821 resize: FL_RESIZE_ALL
1822 gravity: FL_NoGravity FL_NoGravity
1823 name: browser_all
1824 callback: C_FormBaseDeprecatedInputCB
1825 argument: 0
1826
1827 --------------------
1828 class: FL_CHOICE
1829 type: NORMAL_CHOICE
1830 box: 280 30 150 30
1831 boxtype: FL_FRAME_BOX
1832 colors: FL_COL1 FL_BLACK
1833 alignment: FL_ALIGN_LEFT
1834 style: FL_NORMAL_STYLE
1835 size: FL_DEFAULT_SIZE
1836 lcol: FL_BLACK
1837 label: From|#F
1838 shortcut:
1839 resize: FL_RESIZE_ALL
1840 gravity: FL_NoGravity FL_NoGravity
1841 name: choice_from
1842 callback: C_FormBaseDeprecatedInputCB
1843 argument: 0
1844
1845 --------------------
1846 class: FL_CHOICE
1847 type: NORMAL_CHOICE
1848 box: 280 70 150 30
1849 boxtype: FL_FRAME_BOX
1850 colors: FL_COL1 FL_BLACK
1851 alignment: FL_ALIGN_LEFT
1852 style: FL_NORMAL_STYLE
1853 size: FL_DEFAULT_SIZE
1854 lcol: FL_BLACK
1855 label: To|#T
1856 shortcut:
1857 resize: FL_RESIZE_ALL
1858 gravity: FL_NoGravity FL_NoGravity
1859 name: choice_to
1860 callback: C_FormBaseDeprecatedInputCB
1861 argument: 0
1862
1863 --------------------
1864 class: FL_INPUT
1865 type: NORMAL_INPUT
1866 box: 280 110 150 30
1867 boxtype: FL_DOWN_BOX
1868 colors: FL_COL1 FL_MCOL
1869 alignment: FL_ALIGN_LEFT
1870 style: FL_NORMAL_STYLE
1871 size: FL_NORMAL_SIZE
1872 lcol: FL_BLACK
1873 label: Converter|#C
1874 shortcut:
1875 resize: FL_RESIZE_ALL
1876 gravity: FL_NoGravity FL_NoGravity
1877 name: input_converter
1878 callback: C_FormBaseDeprecatedInputCB
1879 argument: 0
1880
1881 --------------------
1882 class: FL_INPUT
1883 type: NORMAL_INPUT
1884 box: 280 150 150 30
1885 boxtype: FL_DOWN_BOX
1886 colors: FL_COL1 FL_MCOL
1887 alignment: FL_ALIGN_LEFT
1888 style: FL_NORMAL_STYLE
1889 size: FL_NORMAL_SIZE
1890 lcol: FL_BLACK
1891 label: Flags|#F
1892 shortcut:
1893 resize: FL_RESIZE_ALL
1894 gravity: FL_NoGravity FL_NoGravity
1895 name: input_flags
1896 callback: C_FormBaseDeprecatedInputCB
1897 argument: 0
1898
1899 --------------------
1900 class: FL_BUTTON
1901 type: NORMAL_BUTTON
1902 box: 240 270 90 30
1903 boxtype: FL_UP_BOX
1904 colors: FL_COL1 FL_COL1
1905 alignment: FL_ALIGN_CENTER
1906 style: FL_NORMAL_STYLE
1907 size: FL_NORMAL_SIZE
1908 lcol: FL_BLACK
1909 label: Add|#A
1910 shortcut:
1911 resize: FL_RESIZE_ALL
1912 gravity: FL_NoGravity FL_NoGravity
1913 name: button_add
1914 callback: C_FormBaseDeprecatedInputCB
1915 argument: 0
1916
1917 --------------------
1918 class: FL_BUTTON
1919 type: NORMAL_BUTTON
1920 box: 340 270 90 30
1921 boxtype: FL_UP_BOX
1922 colors: FL_COL1 FL_COL1
1923 alignment: FL_ALIGN_CENTER
1924 style: FL_NORMAL_STYLE
1925 size: FL_NORMAL_SIZE
1926 lcol: FL_BLACK
1927 label: Delete|#D
1928 shortcut:
1929 resize: FL_RESIZE_ALL
1930 gravity: FL_NoGravity FL_NoGravity
1931 name: button_delete
1932 callback: C_FormBaseDeprecatedInputCB
1933 argument: 0
1934
1935 =============== FORM ===============
1936 Name: form_paths
1937 Width: 450
1938 Height: 350
1939 Number of Objects: 17
1940
1941 --------------------
1942 class: FL_BOX
1943 type: FLAT_BOX
1944 box: 0 0 450 350
1945 boxtype: FL_FLAT_BOX
1946 colors: FL_COL1 FL_COL1
1947 alignment: FL_ALIGN_CENTER
1948 style: FL_NORMAL_STYLE
1949 size: FL_DEFAULT_SIZE
1950 lcol: FL_BLACK
1951 label:
1952 shortcut:
1953 resize: FL_RESIZE_ALL
1954 gravity: FL_NoGravity FL_NoGravity
1955 name:
1956 callback:
1957 argument:
1958
1959 --------------------
1960 class: FL_INPUT
1961 type: NORMAL_INPUT
1962 box: 170 10 170 30
1963 boxtype: FL_DOWN_BOX
1964 colors: FL_COL1 FL_MCOL
1965 alignment: FL_ALIGN_LEFT
1966 style: FL_NORMAL_STYLE
1967 size: FL_NORMAL_SIZE
1968 lcol: FL_BLACK
1969 label: Default path|#p
1970 shortcut:
1971 resize: FL_RESIZE_ALL
1972 gravity: FL_NoGravity FL_NoGravity
1973 name: input_default_path
1974 callback: C_FormBaseDeprecatedInputCB
1975 argument: 0
1976
1977 --------------------
1978 class: FL_BUTTON
1979 type: NORMAL_BUTTON
1980 box: 340 10 90 30
1981 boxtype: FL_UP_BOX
1982 colors: FL_COL1 FL_COL1
1983 alignment: FL_ALIGN_CENTER
1984 style: FL_NORMAL_STYLE
1985 size: FL_NORMAL_SIZE
1986 lcol: FL_BLACK
1987 label: Browse...
1988 shortcut:
1989 resize: FL_RESIZE_ALL
1990 gravity: FL_NoGravity FL_NoGravity
1991 name: button_default_path_browse
1992 callback: C_FormBaseDeprecatedInputCB
1993 argument: 0
1994
1995 --------------------
1996 class: FL_INPUT
1997 type: NORMAL_INPUT
1998 box: 170 40 170 30
1999 boxtype: FL_DOWN_BOX
2000 colors: FL_COL1 FL_MCOL
2001 alignment: FL_ALIGN_LEFT
2002 style: FL_NORMAL_STYLE
2003 size: FL_NORMAL_SIZE
2004 lcol: FL_BLACK
2005 label: Template path|#T
2006 shortcut:
2007 resize: FL_RESIZE_ALL
2008 gravity: FL_NoGravity FL_NoGravity
2009 name: input_template_path
2010 callback: C_FormBaseDeprecatedInputCB
2011 argument: 0
2012
2013 --------------------
2014 class: FL_BUTTON
2015 type: NORMAL_BUTTON
2016 box: 340 40 90 30
2017 boxtype: FL_UP_BOX
2018 colors: FL_COL1 FL_COL1
2019 alignment: FL_ALIGN_CENTER
2020 style: FL_NORMAL_STYLE
2021 size: FL_NORMAL_SIZE
2022 lcol: FL_BLACK
2023 label: Browse...
2024 shortcut:
2025 resize: FL_RESIZE_ALL
2026 gravity: FL_NoGravity FL_NoGravity
2027 name: button_template_path_browse
2028 callback: C_FormBaseDeprecatedInputCB
2029 argument: 0
2030
2031 --------------------
2032 class: FL_CHECKBUTTON
2033 type: PUSH_BUTTON
2034 box: 134 70 30 30
2035 boxtype: FL_NO_BOX
2036 colors: FL_COL1 FL_YELLOW
2037 alignment: FL_ALIGN_LEFT
2038 style: FL_NORMAL_STYLE
2039 size: FL_NORMAL_SIZE
2040 lcol: FL_BLACK
2041 label: Temp dir|#d
2042 shortcut:
2043 resize: FL_RESIZE_ALL
2044 gravity: FL_NoGravity FL_NoGravity
2045 name: check_use_temp_dir
2046 callback: C_FormBaseDeprecatedInputCB
2047 argument: 0
2048         value: 1
2049
2050 --------------------
2051 class: FL_INPUT
2052 type: NORMAL_INPUT
2053 box: 170 70 170 30
2054 boxtype: FL_DOWN_BOX
2055 colors: FL_COL1 FL_MCOL
2056 alignment: FL_ALIGN_LEFT
2057 style: FL_NORMAL_STYLE
2058 size: FL_NORMAL_SIZE
2059 lcol: FL_BLACK
2060 label:
2061 shortcut:
2062 resize: FL_RESIZE_ALL
2063 gravity: FL_NoGravity FL_NoGravity
2064 name: input_temp_dir
2065 callback: C_FormBaseDeprecatedInputCB
2066 argument: 0
2067
2068 --------------------
2069 class: FL_BUTTON
2070 type: NORMAL_BUTTON
2071 box: 340 70 90 30
2072 boxtype: FL_UP_BOX
2073 colors: FL_COL1 FL_COL1
2074 alignment: FL_ALIGN_CENTER
2075 style: FL_NORMAL_STYLE
2076 size: FL_NORMAL_SIZE
2077 lcol: FL_BLACK
2078 label: Browse...
2079 shortcut:
2080 resize: FL_RESIZE_ALL
2081 gravity: FL_NoGravity FL_NoGravity
2082 name: button_temp_dir_browse
2083 callback: C_FormBaseDeprecatedInputCB
2084 argument: 0
2085
2086 --------------------
2087 class: FL_CHECKBUTTON
2088 type: PUSH_BUTTON
2089 box: 134 100 30 30
2090 boxtype: FL_NO_BOX
2091 colors: FL_COL1 FL_YELLOW
2092 alignment: FL_ALIGN_LEFT
2093 style: FL_NORMAL_STYLE
2094 size: FL_NORMAL_SIZE
2095 lcol: FL_BLACK
2096 label: Check last files|#C
2097 shortcut:
2098 resize: FL_RESIZE_ALL
2099 gravity: FL_NoGravity FL_NoGravity
2100 name: check_last_files
2101 callback: C_FormBaseDeprecatedInputCB
2102 argument: 0
2103         value: 1
2104
2105 --------------------
2106 class: FL_INPUT
2107 type: NORMAL_INPUT
2108 box: 170 100 170 30
2109 boxtype: FL_DOWN_BOX
2110 colors: FL_COL1 FL_MCOL
2111 alignment: FL_ALIGN_LEFT
2112 style: FL_NORMAL_STYLE
2113 size: FL_NORMAL_SIZE
2114 lcol: FL_BLACK
2115 label:
2116 shortcut:
2117 resize: FL_RESIZE_ALL
2118 gravity: FL_NoGravity FL_NoGravity
2119 name: input_lastfiles
2120 callback: C_FormBaseDeprecatedInputCB
2121 argument: 0
2122
2123 --------------------
2124 class: FL_BUTTON
2125 type: NORMAL_BUTTON
2126 box: 340 100 90 30
2127 boxtype: FL_UP_BOX
2128 colors: FL_COL1 FL_COL1
2129 alignment: FL_ALIGN_CENTER
2130 style: FL_NORMAL_STYLE
2131 size: FL_NORMAL_SIZE
2132 lcol: FL_BLACK
2133 label: Browse...
2134 shortcut:
2135 resize: FL_RESIZE_ALL
2136 gravity: FL_NoGravity FL_NoGravity
2137 name: button_lastfiles_browse
2138 callback: C_FormBaseDeprecatedInputCB
2139 argument: 0
2140
2141 --------------------
2142 class: FL_COUNTER
2143 type: SIMPLE_COUNTER
2144 box: 170 130 90 30
2145 boxtype: FL_UP_BOX
2146 colors: FL_COL1 FL_BLUE
2147 alignment: FL_ALIGN_LEFT
2148 style: FL_NORMAL_STYLE
2149 size: FL_NORMAL_SIZE
2150 lcol: FL_BLACK
2151 label: Last file count|#L
2152 shortcut:
2153 resize: FL_RESIZE_ALL
2154 gravity: FL_NoGravity FL_NoGravity
2155 name: counter_lastfiles
2156 callback: C_FormBaseDeprecatedInputCB
2157 argument: 0
2158   bounds: 0 9
2159   precision: 0
2160   value: 4
2161   sstep: 1
2162
2163 --------------------
2164 class: FL_CHECKBUTTON
2165 type: PUSH_BUTTON
2166 box: 134 170 30 30
2167 boxtype: FL_NO_BOX
2168 colors: FL_COL1 FL_YELLOW
2169 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2170 style: FL_NORMAL_STYLE
2171 size: FL_NORMAL_SIZE
2172 lcol: FL_BLACK
2173 label: Backup path|#B
2174 shortcut:
2175 resize: FL_RESIZE_ALL
2176 gravity: FL_NoGravity FL_NoGravity
2177 name: check_make_backups
2178 callback: C_FormBaseDeprecatedInputCB
2179 argument: 0
2180         value: 1
2181
2182 --------------------
2183 class: FL_INPUT
2184 type: NORMAL_INPUT
2185 box: 170 170 170 30
2186 boxtype: FL_DOWN_BOX
2187 colors: FL_COL1 FL_MCOL
2188 alignment: FL_ALIGN_LEFT
2189 style: FL_NORMAL_STYLE
2190 size: FL_NORMAL_SIZE
2191 lcol: FL_BLACK
2192 label:
2193 shortcut:
2194 resize: FL_RESIZE_ALL
2195 gravity: FL_NoGravity FL_NoGravity
2196 name: input_backup_path
2197 callback: C_FormBaseDeprecatedInputCB
2198 argument: 0
2199
2200 --------------------
2201 class: FL_BUTTON
2202 type: NORMAL_BUTTON
2203 box: 340 170 90 30
2204 boxtype: FL_UP_BOX
2205 colors: FL_COL1 FL_COL1
2206 alignment: FL_ALIGN_CENTER
2207 style: FL_NORMAL_STYLE
2208 size: FL_NORMAL_SIZE
2209 lcol: FL_BLACK
2210 label: Browse...
2211 shortcut:
2212 resize: FL_RESIZE_ALL
2213 gravity: FL_NoGravity FL_NoGravity
2214 name: button_backup_path_browse
2215 callback: C_FormBaseDeprecatedInputCB
2216 argument: 0
2217
2218 --------------------
2219 class: FL_INPUT
2220 type: NORMAL_INPUT
2221 box: 169 217 170 30
2222 boxtype: FL_DOWN_BOX
2223 colors: FL_COL1 FL_MCOL
2224 alignment: FL_ALIGN_LEFT
2225 style: FL_NORMAL_STYLE
2226 size: FL_NORMAL_SIZE
2227 lcol: FL_BLACK
2228 label: LyXServer pipe|#S
2229 shortcut:
2230 resize: FL_RESIZE_ALL
2231 gravity: FL_NoGravity FL_NoGravity
2232 name: input_serverpipe
2233 callback: C_FormBaseDeprecatedInputCB
2234 argument: 0
2235
2236 --------------------
2237 class: FL_BUTTON
2238 type: NORMAL_BUTTON
2239 box: 339 217 90 30
2240 boxtype: FL_UP_BOX
2241 colors: FL_COL1 FL_COL1
2242 alignment: FL_ALIGN_CENTER
2243 style: FL_NORMAL_STYLE
2244 size: FL_NORMAL_SIZE
2245 lcol: FL_BLACK
2246 label: Browse...
2247 shortcut:
2248 resize: FL_RESIZE_ALL
2249 gravity: FL_NoGravity FL_NoGravity
2250 name: button_serverpipe_browse
2251 callback: C_FormBaseDeprecatedInputCB
2252 argument: 0
2253
2254 =============== FORM ===============
2255 Name: form_inputs_misc
2256 Width: 450
2257 Height: 360
2258 Number of Objects: 2
2259
2260 --------------------
2261 class: FL_BOX
2262 type: FLAT_BOX
2263 box: 0 0 450 360
2264 boxtype: FL_FLAT_BOX
2265 colors: FL_COL1 FL_COL1
2266 alignment: FL_ALIGN_CENTER
2267 style: FL_NORMAL_STYLE
2268 size: FL_DEFAULT_SIZE
2269 lcol: FL_BLACK
2270 label:
2271 shortcut:
2272 resize: FL_RESIZE_ALL
2273 gravity: FL_NoGravity FL_NoGravity
2274 name:
2275 callback:
2276 argument:
2277
2278 --------------------
2279 class: FL_INPUT
2280 type: NORMAL_INPUT
2281 box: 120 70 285 30
2282 boxtype: FL_DOWN_BOX
2283 colors: FL_COL1 FL_MCOL
2284 alignment: FL_ALIGN_LEFT
2285 style: FL_NORMAL_STYLE
2286 size: FL_NORMAL_SIZE
2287 lcol: FL_BLACK
2288 label: date format|#f
2289 shortcut:
2290 resize: FL_RESIZE_ALL
2291 gravity: FL_NoGravity FL_NoGravity
2292 name: input_date_format
2293 callback: C_FormBaseDeprecatedInputCB
2294 argument: 0
2295
2296 =============== FORM ===============
2297 Name: form_printer
2298 Width: 450
2299 Height: 350
2300 Number of Objects: 20
2301
2302 --------------------
2303 class: FL_BOX
2304 type: FLAT_BOX
2305 box: 0 0 450 350
2306 boxtype: FL_FLAT_BOX
2307 colors: FL_COL1 FL_COL1
2308 alignment: FL_ALIGN_CENTER
2309 style: FL_NORMAL_STYLE
2310 size: FL_DEFAULT_SIZE
2311 lcol: FL_BLACK
2312 label:
2313 shortcut:
2314 resize: FL_RESIZE_ALL
2315 gravity: FL_NoGravity FL_NoGravity
2316 name:
2317 callback:
2318 argument:
2319
2320 --------------------
2321 class: FL_INPUT
2322 type: NORMAL_INPUT
2323 box: 130 10 80 30
2324 boxtype: FL_DOWN_BOX
2325 colors: FL_COL1 FL_MCOL
2326 alignment: FL_ALIGN_LEFT
2327 style: FL_NORMAL_STYLE
2328 size: FL_NORMAL_SIZE
2329 lcol: FL_BLACK
2330 label: name
2331 shortcut:
2332 resize: FL_RESIZE_ALL
2333 gravity: FL_NoGravity FL_NoGravity
2334 name: input_name
2335 callback: C_FormBaseDeprecatedInputCB
2336 argument: 0
2337
2338 --------------------
2339 class: FL_CHECKBUTTON
2340 type: PUSH_BUTTON
2341 box: 240 10 30 30
2342 boxtype: FL_NO_BOX
2343 colors: FL_COL1 FL_YELLOW
2344 alignment: FL_ALIGN_CENTER
2345 style: FL_NORMAL_STYLE
2346 size: FL_NORMAL_SIZE
2347 lcol: FL_BLACK
2348 label: adapt output
2349 shortcut:
2350 resize: FL_RESIZE_ALL
2351 gravity: FL_NoGravity FL_NoGravity
2352 name: check_adapt_output
2353 callback: C_FormBaseDeprecatedInputCB
2354 argument: 0
2355
2356 --------------------
2357 class: FL_LABELFRAME
2358 type: ENGRAVED_FRAME
2359 box: 0 60 452 260
2360 boxtype: FL_NO_BOX
2361 colors: FL_BLACK FL_COL1
2362 alignment: FL_ALIGN_TOP_LEFT
2363 style: FL_NORMAL_STYLE
2364 size: FL_NORMAL_SIZE
2365 lcol: FL_BLACK
2366 label: Printer Command and Flags
2367 shortcut:
2368 resize: FL_RESIZE_ALL
2369 gravity: FL_NoGravity FL_NoGravity
2370 name:
2371 callback:
2372 argument:
2373
2374 --------------------
2375 class: FL_INPUT
2376 type: NORMAL_INPUT
2377 box: 130 75 80 30
2378 boxtype: FL_DOWN_BOX
2379 colors: FL_COL1 FL_MCOL
2380 alignment: FL_ALIGN_LEFT
2381 style: FL_NORMAL_STYLE
2382 size: FL_NORMAL_SIZE
2383 lcol: FL_BLACK
2384 label: command
2385 shortcut:
2386 resize: FL_RESIZE_ALL
2387 gravity: FL_NoGravity FL_NoGravity
2388 name: input_command
2389 callback: C_FormBaseDeprecatedInputCB
2390 argument: 0
2391
2392 --------------------
2393 class: FL_INPUT
2394 type: NORMAL_INPUT
2395 box: 130 105 80 30
2396 boxtype: FL_DOWN_BOX
2397 colors: FL_COL1 FL_MCOL
2398 alignment: FL_ALIGN_LEFT
2399 style: FL_NORMAL_STYLE
2400 size: FL_NORMAL_SIZE
2401 lcol: FL_BLACK
2402 label: page range
2403 shortcut:
2404 resize: FL_RESIZE_ALL
2405 gravity: FL_NoGravity FL_NoGravity
2406 name: input_page_range
2407 callback: C_FormBaseDeprecatedInputCB
2408 argument: 0
2409
2410 --------------------
2411 class: FL_INPUT
2412 type: NORMAL_INPUT
2413 box: 130 135 80 30
2414 boxtype: FL_DOWN_BOX
2415 colors: FL_COL1 FL_MCOL
2416 alignment: FL_ALIGN_LEFT
2417 style: FL_NORMAL_STYLE
2418 size: FL_NORMAL_SIZE
2419 lcol: FL_BLACK
2420 label: copies
2421 shortcut:
2422 resize: FL_RESIZE_ALL
2423 gravity: FL_NoGravity FL_NoGravity
2424 name: input_copies
2425 callback: C_FormBaseDeprecatedInputCB
2426 argument: 0
2427
2428 --------------------
2429 class: FL_INPUT
2430 type: NORMAL_INPUT
2431 box: 130 165 80 30
2432 boxtype: FL_DOWN_BOX
2433 colors: FL_COL1 FL_MCOL
2434 alignment: FL_ALIGN_LEFT
2435 style: FL_NORMAL_STYLE
2436 size: FL_NORMAL_SIZE
2437 lcol: FL_BLACK
2438 label: reverse
2439 shortcut:
2440 resize: FL_RESIZE_ALL
2441 gravity: FL_NoGravity FL_NoGravity
2442 name: input_reverse
2443 callback: C_FormBaseDeprecatedInputCB
2444 argument: 0
2445
2446 --------------------
2447 class: FL_INPUT
2448 type: NORMAL_INPUT
2449 box: 130 195 80 30
2450 boxtype: FL_DOWN_BOX
2451 colors: FL_COL1 FL_MCOL
2452 alignment: FL_ALIGN_LEFT
2453 style: FL_NORMAL_STYLE
2454 size: FL_NORMAL_SIZE
2455 lcol: FL_BLACK
2456 label: to printer
2457 shortcut:
2458 resize: FL_RESIZE_ALL
2459 gravity: FL_NoGravity FL_NoGravity
2460 name: input_to_printer
2461 callback: C_FormBaseDeprecatedInputCB
2462 argument: 0
2463
2464 --------------------
2465 class: FL_INPUT
2466 type: NORMAL_INPUT
2467 box: 130 225 80 30
2468 boxtype: FL_DOWN_BOX
2469 colors: FL_COL1 FL_MCOL
2470 alignment: FL_ALIGN_LEFT
2471 style: FL_NORMAL_STYLE
2472 size: FL_NORMAL_SIZE
2473 lcol: FL_BLACK
2474 label: file extension
2475 shortcut:
2476 resize: FL_RESIZE_ALL
2477 gravity: FL_NoGravity FL_NoGravity
2478 name: input_file_extension
2479 callback: C_FormBaseDeprecatedInputCB
2480 argument: 0
2481
2482 --------------------
2483 class: FL_INPUT
2484 type: NORMAL_INPUT
2485 box: 130 255 80 30
2486 boxtype: FL_DOWN_BOX
2487 colors: FL_COL1 FL_MCOL
2488 alignment: FL_ALIGN_LEFT
2489 style: FL_NORMAL_STYLE
2490 size: FL_NORMAL_SIZE
2491 lcol: FL_BLACK
2492 label: spool command
2493 shortcut:
2494 resize: FL_RESIZE_ALL
2495 gravity: FL_NoGravity FL_NoGravity
2496 name: input_spool_command
2497 callback: C_FormBaseDeprecatedInputCB
2498 argument: 0
2499
2500 --------------------
2501 class: FL_INPUT
2502 type: NORMAL_INPUT
2503 box: 130 285 80 30
2504 boxtype: FL_DOWN_BOX
2505 colors: FL_COL1 FL_MCOL
2506 alignment: FL_ALIGN_LEFT
2507 style: FL_NORMAL_STYLE
2508 size: FL_NORMAL_SIZE
2509 lcol: FL_BLACK
2510 label: paper type
2511 shortcut:
2512 resize: FL_RESIZE_ALL
2513 gravity: FL_NoGravity FL_NoGravity
2514 name: input_paper_type
2515 callback: C_FormBaseDeprecatedInputCB
2516 argument: 0
2517
2518 --------------------
2519 class: FL_INPUT
2520 type: NORMAL_INPUT
2521 box: 360 75 80 30
2522 boxtype: FL_DOWN_BOX
2523 colors: FL_COL1 FL_MCOL
2524 alignment: FL_ALIGN_LEFT
2525 style: FL_NORMAL_STYLE
2526 size: FL_NORMAL_SIZE
2527 lcol: FL_BLACK
2528 label: even pages
2529 shortcut:
2530 resize: FL_RESIZE_ALL
2531 gravity: FL_NoGravity FL_NoGravity
2532 name: input_even_pages
2533 callback: C_FormBaseDeprecatedInputCB
2534 argument: 0
2535
2536 --------------------
2537 class: FL_INPUT
2538 type: NORMAL_INPUT
2539 box: 360 105 80 30
2540 boxtype: FL_DOWN_BOX
2541 colors: FL_COL1 FL_MCOL
2542 alignment: FL_ALIGN_LEFT
2543 style: FL_NORMAL_STYLE
2544 size: FL_NORMAL_SIZE
2545 lcol: FL_BLACK
2546 label: odd pages
2547 shortcut:
2548 resize: FL_RESIZE_ALL
2549 gravity: FL_NoGravity FL_NoGravity
2550 name: input_odd_pages
2551 callback: C_FormBaseDeprecatedInputCB
2552 argument: 0
2553
2554 --------------------
2555 class: FL_INPUT
2556 type: NORMAL_INPUT
2557 box: 360 135 80 30
2558 boxtype: FL_DOWN_BOX
2559 colors: FL_COL1 FL_MCOL
2560 alignment: FL_ALIGN_LEFT
2561 style: FL_NORMAL_STYLE
2562 size: FL_NORMAL_SIZE
2563 lcol: FL_BLACK
2564 label: collated
2565 shortcut:
2566 resize: FL_RESIZE_ALL
2567 gravity: FL_NoGravity FL_NoGravity
2568 name: input_collated
2569 callback: C_FormBaseDeprecatedInputCB
2570 argument: 0
2571
2572 --------------------
2573 class: FL_INPUT
2574 type: NORMAL_INPUT
2575 box: 360 165 80 30
2576 boxtype: FL_DOWN_BOX
2577 colors: FL_COL1 FL_MCOL
2578 alignment: FL_ALIGN_LEFT
2579 style: FL_NORMAL_STYLE
2580 size: FL_NORMAL_SIZE
2581 lcol: FL_BLACK
2582 label: landscape
2583 shortcut:
2584 resize: FL_RESIZE_ALL
2585 gravity: FL_NoGravity FL_NoGravity
2586 name: input_landscape
2587 callback: C_FormBaseDeprecatedInputCB
2588 argument: 0
2589
2590 --------------------
2591 class: FL_INPUT
2592 type: NORMAL_INPUT
2593 box: 360 195 80 30
2594 boxtype: FL_DOWN_BOX
2595 colors: FL_COL1 FL_MCOL
2596 alignment: FL_ALIGN_LEFT
2597 style: FL_NORMAL_STYLE
2598 size: FL_NORMAL_SIZE
2599 lcol: FL_BLACK
2600 label: to file
2601 shortcut:
2602 resize: FL_RESIZE_ALL
2603 gravity: FL_NoGravity FL_NoGravity
2604 name: input_to_file
2605 callback: C_FormBaseDeprecatedInputCB
2606 argument: 0
2607
2608 --------------------
2609 class: FL_INPUT
2610 type: NORMAL_INPUT
2611 box: 360 225 80 30
2612 boxtype: FL_DOWN_BOX
2613 colors: FL_COL1 FL_MCOL
2614 alignment: FL_ALIGN_LEFT
2615 style: FL_NORMAL_STYLE
2616 size: FL_NORMAL_SIZE
2617 lcol: FL_BLACK
2618 label: extra options
2619 shortcut:
2620 resize: FL_RESIZE_ALL
2621 gravity: FL_NoGravity FL_NoGravity
2622 name: input_extra_options
2623 callback: C_FormBaseDeprecatedInputCB
2624 argument: 0
2625
2626 --------------------
2627 class: FL_INPUT
2628 type: NORMAL_INPUT
2629 box: 360 255 80 30
2630 boxtype: FL_DOWN_BOX
2631 colors: FL_COL1 FL_MCOL
2632 alignment: FL_ALIGN_LEFT
2633 style: FL_NORMAL_STYLE
2634 size: FL_NORMAL_SIZE
2635 lcol: FL_BLACK
2636 label: spool printer prefix
2637 shortcut:
2638 resize: FL_RESIZE_ALL
2639 gravity: FL_NoGravity FL_NoGravity
2640 name: input_spool_prefix
2641 callback: C_FormBaseDeprecatedInputCB
2642 argument: 0
2643
2644 --------------------
2645 class: FL_INPUT
2646 type: NORMAL_INPUT
2647 box: 360 285 80 30
2648 boxtype: FL_DOWN_BOX
2649 colors: FL_COL1 FL_MCOL
2650 alignment: FL_ALIGN_LEFT
2651 style: FL_NORMAL_STYLE
2652 size: FL_NORMAL_SIZE
2653 lcol: FL_BLACK
2654 label: paper size
2655 shortcut:
2656 resize: FL_RESIZE_ALL
2657 gravity: FL_NoGravity FL_NoGravity
2658 name: input_paper_size
2659 callback: C_FormBaseDeprecatedInputCB
2660 argument: 0
2661
2662 =============== FORM ===============
2663 Name: form_outputs_misc
2664 Width: 455
2665 Height: 375
2666 Number of Objects: 8
2667
2668 --------------------
2669 class: FL_BOX
2670 type: FLAT_BOX
2671 box: 0 0 455 375
2672 boxtype: FL_FLAT_BOX
2673 colors: FL_COL1 FL_COL1
2674 alignment: FL_ALIGN_CENTER
2675 style: FL_NORMAL_STYLE
2676 size: FL_DEFAULT_SIZE
2677 lcol: FL_BLACK
2678 label:
2679 shortcut:
2680 resize: FL_RESIZE_ALL
2681 gravity: FL_NorthWest FL_SouthEast
2682 name:
2683 callback:
2684 argument:
2685
2686 --------------------
2687 class: FL_COUNTER
2688 type: NORMAL_COUNTER
2689 box: 320 25 100 30
2690 boxtype: FL_UP_BOX
2691 colors: FL_COL1 FL_BLUE
2692 alignment: FL_ALIGN_LEFT
2693 style: FL_NORMAL_STYLE
2694 size: FL_NORMAL_SIZE
2695 lcol: FL_BLACK
2696 label: Ascii line length|#A
2697 shortcut:
2698 resize: FL_RESIZE_ALL
2699 gravity: FL_NoGravity FL_NoGravity
2700 name: counter_line_len
2701 callback: C_FormBaseDeprecatedInputCB
2702 argument: 0
2703   bounds: 0 120
2704   precision: 0
2705   value: 75
2706   sstep: 1
2707
2708 --------------------
2709 class: FL_INPUT
2710 type: NORMAL_INPUT
2711 box: 220 65 200 30
2712 boxtype: FL_DOWN_BOX
2713 colors: FL_COL1 FL_MCOL
2714 alignment: FL_ALIGN_LEFT
2715 style: FL_NORMAL_STYLE
2716 size: FL_NORMAL_SIZE
2717 lcol: FL_BLACK
2718 label: TeX encoding|#T
2719 shortcut:
2720 resize: FL_RESIZE_ALL
2721 gravity: FL_NoGravity FL_NoGravity
2722 name: input_tex_encoding
2723 callback: C_FormBaseDeprecatedInputCB
2724 argument: 0
2725
2726 --------------------
2727 class: FL_CHOICE
2728 type: NORMAL_CHOICE
2729 box: 220 110 199 29
2730 boxtype: FL_FRAME_BOX
2731 colors: FL_COL1 FL_BLACK
2732 alignment: FL_ALIGN_LEFT
2733 style: FL_NORMAL_STYLE
2734 size: FL_NORMAL_SIZE
2735 lcol: FL_BLACK
2736 label: Default paper size|#p
2737 shortcut:
2738 resize: FL_RESIZE_ALL
2739 gravity: FL_NoGravity FL_NoGravity
2740 name: choice_default_papersize
2741 callback: C_FormBaseDeprecatedInputCB
2742 argument: 0
2743
2744 --------------------
2745 class: FL_LABELFRAME
2746 type: ENGRAVED_FRAME
2747 box: 15 150 405 135
2748 boxtype: FL_NO_BOX
2749 colors: FL_BLACK FL_COL1
2750 alignment: FL_ALIGN_TOP_LEFT
2751 style: FL_BOLD_STYLE
2752 size: FL_NORMAL_SIZE
2753 lcol: FL_BLACK
2754 label: Outside code interaction
2755 shortcut:
2756 resize: FL_RESIZE_ALL
2757 gravity: FL_NoGravity FL_NoGravity
2758 name:
2759 callback:
2760 argument:
2761
2762 --------------------
2763 class: FL_INPUT
2764 type: NORMAL_INPUT
2765 box: 125 165 285 30
2766 boxtype: FL_DOWN_BOX
2767 colors: FL_COL1 FL_MCOL
2768 alignment: FL_ALIGN_LEFT
2769 style: FL_NORMAL_STYLE
2770 size: FL_NORMAL_SIZE
2771 lcol: FL_BLACK
2772 label: ascii roff|#r
2773 shortcut:
2774 resize: FL_RESIZE_ALL
2775 gravity: FL_NoGravity FL_NoGravity
2776 name: input_ascii_roff
2777 callback: C_FormBaseDeprecatedInputCB
2778 argument: 0
2779
2780 --------------------
2781 class: FL_INPUT
2782 type: NORMAL_INPUT
2783 box: 125 205 285 30
2784 boxtype: FL_DOWN_BOX
2785 colors: FL_COL1 FL_MCOL
2786 alignment: FL_ALIGN_LEFT
2787 style: FL_NORMAL_STYLE
2788 size: FL_NORMAL_SIZE
2789 lcol: FL_BLACK
2790 label: checktex|#c
2791 shortcut:
2792 resize: FL_RESIZE_ALL
2793 gravity: FL_NoGravity FL_NoGravity
2794 name: input_checktex
2795 callback: C_FormBaseDeprecatedInputCB
2796 argument: 0
2797
2798 --------------------
2799 class: FL_INPUT
2800 type: NORMAL_INPUT
2801 box: 125 245 285 30
2802 boxtype: FL_DOWN_BOX
2803 colors: FL_COL1 FL_MCOL
2804 alignment: FL_ALIGN_LEFT
2805 style: FL_NORMAL_STYLE
2806 size: FL_NORMAL_SIZE
2807 lcol: FL_BLACK
2808 label: DVI paper option
2809 shortcut:
2810 resize: FL_RESIZE_ALL
2811 gravity: FL_NoGravity FL_NoGravity
2812 name: input_paperoption
2813 callback: C_FormBaseDeprecatedInputCB
2814 argument: 0
2815
2816 ==============================
2817 create_the_forms