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: 10
 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_CHECKBUTTON
1077 type: PUSH_BUTTON
1078 box: 15 195 30 30
1079 boxtype: FL_NO_BOX
1080 colors: FL_COL1 FL_YELLOW
1081 alignment: FL_ALIGN_CENTER
1082 style: FL_NORMAL_STYLE
1083 size: FL_NORMAL_SIZE
1084 lcol: FL_BLACK
1085 label: Dialogs iconify with main window|#D
1086 shortcut:
1087 resize: FL_RESIZE_ALL
1088 gravity: FL_NoGravity FL_NoGravity
1089 name: check_dialogs_iconify_with_main
1090 callback: C_FormBaseDeprecatedInputCB
1091 argument: 0
1092         value: 1
1093
1094 --------------------
1095 class: FL_COUNTER
1096 type: NORMAL_COUNTER
1097 box: 320 225 115 30
1098 boxtype: FL_UP_BOX
1099 colors: FL_COL1 FL_BLUE
1100 alignment: FL_ALIGN_LEFT
1101 style: FL_NORMAL_STYLE
1102 size: FL_NORMAL_SIZE
1103 lcol: FL_BLACK
1104 label: Wheel mouse jump
1105 shortcut:
1106 resize: FL_RESIZE_ALL
1107 gravity: FL_NoGravity FL_NoGravity
1108 name: counter_wm_jump
1109 callback: C_FormBaseDeprecatedInputCB
1110 argument: 0
1111   bounds: 0 250
1112   precision: 0
1113   value: 100
1114   sstep: 1
1115
1116 --------------------
1117 class: FL_COUNTER
1118 type: NORMAL_COUNTER
1119 box: 320 255 115 30
1120 boxtype: FL_UP_BOX
1121 colors: FL_COL1 FL_BLUE
1122 alignment: FL_ALIGN_LEFT
1123 style: FL_NORMAL_STYLE
1124 size: FL_NORMAL_SIZE
1125 lcol: FL_BLACK
1126 label: Autosave interval
1127 shortcut:
1128 resize: FL_RESIZE_ALL
1129 gravity: FL_NoGravity FL_NoGravity
1130 name: counter_autosave
1131 callback: C_FormBaseDeprecatedInputCB
1132 argument: 0
1133   bounds: 0 1200
1134   precision: 0
1135   value: 300
1136   sstep: 1
1137
1138 =============== FORM ===============
1139 Name: form_spelloptions
1140 Width: 450
1141 Height: 360
1142 Number of Objects: 11
1143
1144 --------------------
1145 class: FL_BOX
1146 type: FLAT_BOX
1147 box: 0 0 450 360
1148 boxtype: FL_FLAT_BOX
1149 colors: FL_COL1 FL_COL1
1150 alignment: FL_ALIGN_CENTER
1151 style: FL_NORMAL_STYLE
1152 size: FL_DEFAULT_SIZE
1153 lcol: FL_BLACK
1154 label:
1155 shortcut:
1156 resize: FL_RESIZE_ALL
1157 gravity: FL_NoGravity FL_NoGravity
1158 name:
1159 callback:
1160 argument:
1161
1162 --------------------
1163 class: FL_CHOICE
1164 type: NORMAL_CHOICE
1165 box: 141 47 171 34
1166 boxtype: FL_FRAME_BOX
1167 colors: FL_COL1 FL_BLACK
1168 alignment: FL_ALIGN_TOP
1169 style: FL_NORMAL_STYLE
1170 size: FL_NORMAL_SIZE
1171 lcol: FL_BLACK
1172 label: Spell command|#S
1173 shortcut:
1174 resize: FL_RESIZE_ALL
1175 gravity: FL_NoGravity FL_NoGravity
1176 name: choice_spell_command
1177 callback: C_FormBaseDeprecatedInputCB
1178 argument: 0
1179
1180 --------------------
1181 class: FL_CHECKBUTTON
1182 type: PUSH_BUTTON
1183 box: 208 100 30 30
1184 boxtype: FL_NO_BOX
1185 colors: FL_COL1 FL_YELLOW
1186 alignment: FL_ALIGN_LEFT
1187 style: FL_NORMAL_STYLE
1188 size: FL_NORMAL_SIZE
1189 lcol: FL_BLACK
1190 label: Use alternative language|#a
1191 shortcut:
1192 resize: FL_RESIZE_ALL
1193 gravity: FL_NoGravity FL_NoGravity
1194 name: check_alt_lang
1195 callback: C_FormBaseDeprecatedInputCB
1196 argument: 0
1197
1198 --------------------
1199 class: FL_INPUT
1200 type: NORMAL_INPUT
1201 box: 239 100 170 30
1202 boxtype: FL_DOWN_BOX
1203 colors: FL_COL1 FL_MCOL
1204 alignment: FL_ALIGN_LEFT
1205 style: FL_NORMAL_STYLE
1206 size: FL_DEFAULT_SIZE
1207 lcol: FL_BLACK
1208 label:
1209 shortcut:
1210 resize: FL_RESIZE_ALL
1211 gravity: FL_NoGravity FL_NoGravity
1212 name: input_alt_lang
1213 callback: C_FormBaseDeprecatedInputCB
1214 argument: 0
1215
1216 --------------------
1217 class: FL_CHECKBUTTON
1218 type: PUSH_BUTTON
1219 box: 208 130 30 30
1220 boxtype: FL_NO_BOX
1221 colors: FL_COL1 FL_YELLOW
1222 alignment: FL_ALIGN_LEFT
1223 style: FL_NORMAL_STYLE
1224 size: FL_NORMAL_SIZE
1225 lcol: FL_BLACK
1226 label: Use escape characters|#e
1227 shortcut:
1228 resize: FL_RESIZE_ALL
1229 gravity: FL_NoGravity FL_NoGravity
1230 name: check_escape_chars
1231 callback: C_FormBaseDeprecatedInputCB
1232 argument: 0
1233
1234 --------------------
1235 class: FL_INPUT
1236 type: NORMAL_INPUT
1237 box: 239 130 170 30
1238 boxtype: FL_DOWN_BOX
1239 colors: FL_COL1 FL_MCOL
1240 alignment: FL_ALIGN_LEFT
1241 style: FL_NORMAL_STYLE
1242 size: FL_DEFAULT_SIZE
1243 lcol: FL_BLACK
1244 label:
1245 shortcut:
1246 resize: FL_RESIZE_ALL
1247 gravity: FL_NoGravity FL_NoGravity
1248 name: input_escape_chars
1249 callback: C_FormBaseDeprecatedInputCB
1250 argument: 0
1251
1252 --------------------
1253 class: FL_CHECKBUTTON
1254 type: PUSH_BUTTON
1255 box: 208 160 30 30
1256 boxtype: FL_NO_BOX
1257 colors: FL_COL1 FL_YELLOW
1258 alignment: FL_ALIGN_LEFT
1259 style: FL_NORMAL_STYLE
1260 size: FL_NORMAL_SIZE
1261 lcol: FL_BLACK
1262 label: Use personal dictionary|#d
1263 shortcut:
1264 resize: FL_RESIZE_ALL
1265 gravity: FL_NoGravity FL_NoGravity
1266 name: check_personal_dict
1267 callback: C_FormBaseDeprecatedInputCB
1268 argument: 0
1269
1270 --------------------
1271 class: FL_INPUT
1272 type: NORMAL_INPUT
1273 box: 239 160 170 30
1274 boxtype: FL_DOWN_BOX
1275 colors: FL_COL1 FL_MCOL
1276 alignment: FL_ALIGN_LEFT
1277 style: FL_NORMAL_STYLE
1278 size: FL_DEFAULT_SIZE
1279 lcol: FL_BLACK
1280 label:
1281 shortcut:
1282 resize: FL_RESIZE_ALL
1283 gravity: FL_NoGravity FL_NoGravity
1284 name: input_personal_dict
1285 callback: C_FormBaseDeprecatedInputCB
1286 argument: 0
1287
1288 --------------------
1289 class: FL_BUTTON
1290 type: NORMAL_BUTTON
1291 box: 239 190 89 30
1292 boxtype: FL_UP_BOX
1293 colors: FL_COL1 FL_COL1
1294 alignment: FL_ALIGN_CENTER
1295 style: FL_NORMAL_STYLE
1296 size: FL_NORMAL_SIZE
1297 lcol: FL_BLACK
1298 label: Browse...|#B
1299 shortcut:
1300 resize: FL_RESIZE_ALL
1301 gravity: FL_NoGravity FL_NoGravity
1302 name: button_personal_dict
1303 callback: C_FormBaseDeprecatedInputCB
1304 argument: 0
1305
1306 --------------------
1307 class: FL_CHECKBUTTON
1308 type: PUSH_BUTTON
1309 box: 130 230 30 30
1310 boxtype: FL_NO_BOX
1311 colors: FL_COL1 FL_YELLOW
1312 alignment: FL_ALIGN_RIGHT
1313 style: FL_NORMAL_STYLE
1314 size: FL_NORMAL_SIZE
1315 lcol: FL_BLACK
1316 label: Accept compound words|#w
1317 shortcut:
1318 resize: FL_RESIZE_ALL
1319 gravity: FL_NoGravity FL_NoGravity
1320 name: check_compound_words
1321 callback: C_FormBaseDeprecatedInputCB
1322 argument: 0
1323
1324 --------------------
1325 class: FL_CHECKBUTTON
1326 type: PUSH_BUTTON
1327 box: 130 260 30 30
1328 boxtype: FL_NO_BOX
1329 colors: FL_COL1 FL_YELLOW
1330 alignment: FL_ALIGN_RIGHT
1331 style: FL_NORMAL_STYLE
1332 size: FL_NORMAL_SIZE
1333 lcol: FL_BLACK
1334 label: Use input encoding|#i
1335 shortcut:
1336 resize: FL_RESIZE_ALL
1337 gravity: FL_NoGravity FL_NoGravity
1338 name: check_input_enc
1339 callback: C_FormBaseDeprecatedInputCB
1340 argument: 0
1341
1342 =============== FORM ===============
1343 Name: form_language
1344 Width: 450
1345 Height: 360
1346 Number of Objects: 16
1347
1348 --------------------
1349 class: FL_BOX
1350 type: FLAT_BOX
1351 box: 0 0 450 360
1352 boxtype: FL_FLAT_BOX
1353 colors: FL_COL1 FL_COL1
1354 alignment: FL_ALIGN_CENTER
1355 style: FL_NORMAL_STYLE
1356 size: FL_DEFAULT_SIZE
1357 lcol: FL_BLACK
1358 label:
1359 shortcut:
1360 resize: FL_RESIZE_ALL
1361 gravity: FL_NoGravity FL_NoGravity
1362 name:
1363 callback:
1364 argument:
1365
1366 --------------------
1367 class: FL_INPUT
1368 type: NORMAL_INPUT
1369 box: 131 18 300 30
1370 boxtype: FL_DOWN_BOX
1371 colors: FL_COL1 FL_MCOL
1372 alignment: FL_ALIGN_LEFT
1373 style: FL_NORMAL_STYLE
1374 size: FL_NORMAL_SIZE
1375 lcol: FL_BLACK
1376 label: Package|#P
1377 shortcut:
1378 resize: FL_RESIZE_ALL
1379 gravity: FL_NoGravity FL_NoGravity
1380 name: input_package
1381 callback: C_FormBaseDeprecatedInputCB
1382 argument: 0
1383
1384 --------------------
1385 class: FL_CHOICE
1386 type: NORMAL_CHOICE
1387 box: 231 56 200 30
1388 boxtype: FL_FRAME_BOX
1389 colors: FL_COL1 FL_BLACK
1390 alignment: FL_ALIGN_LEFT
1391 style: FL_NORMAL_STYLE
1392 size: FL_DEFAULT_SIZE
1393 lcol: FL_BLACK
1394 label: Default language|#l
1395 shortcut:
1396 resize: FL_RESIZE_ALL
1397 gravity: FL_NoGravity FL_NoGravity
1398 name: choice_default_lang
1399 callback: C_FormBaseDeprecatedInputCB
1400 argument: 0
1401
1402 --------------------
1403 class: FL_CHECKBUTTON
1404 type: PUSH_BUTTON
1405 box: 78 113 30 30
1406 boxtype: FL_NO_BOX
1407 colors: FL_COL1 FL_YELLOW
1408 alignment: FL_ALIGN_LEFT
1409 style: FL_NORMAL_STYLE
1410 size: FL_NORMAL_SIZE
1411 lcol: FL_BLACK
1412 label: Keyboard\nmap|#K
1413 shortcut:
1414 resize: FL_RESIZE_ALL
1415 gravity: FL_NoGravity FL_NoGravity
1416 name: check_use_kbmap
1417 callback: C_FormBaseDeprecatedInputCB
1418 argument: 0
1419
1420 --------------------
1421 class: FL_INPUT
1422 type: NORMAL_INPUT
1423 box: 144 97 195 30
1424 boxtype: FL_DOWN_BOX
1425 colors: FL_COL1 FL_MCOL
1426 alignment: FL_ALIGN_LEFT
1427 style: FL_NORMAL_STYLE
1428 size: FL_NORMAL_SIZE
1429 lcol: FL_BLACK
1430 label: 1st|#1
1431 shortcut:
1432 resize: FL_RESIZE_ALL
1433 gravity: FL_NoGravity FL_NoGravity
1434 name: input_kbmap1
1435 callback: C_FormBaseDeprecatedInputCB
1436 argument: 0
1437
1438 --------------------
1439 class: FL_INPUT
1440 type: NORMAL_INPUT
1441 box: 144 129 195 30
1442 boxtype: FL_DOWN_BOX
1443 colors: FL_COL1 FL_MCOL
1444 alignment: FL_ALIGN_LEFT
1445 style: FL_NORMAL_STYLE
1446 size: FL_NORMAL_SIZE
1447 lcol: FL_BLACK
1448 label: 2nd|#2
1449 shortcut:
1450 resize: FL_RESIZE_ALL
1451 gravity: FL_NoGravity FL_NoGravity
1452 name: input_kbmap2
1453 callback: C_FormBaseDeprecatedInputCB
1454 argument: 0
1455
1456 --------------------
1457 class: FL_BUTTON
1458 type: NORMAL_BUTTON
1459 box: 341 99 90 30
1460 boxtype: FL_UP_BOX
1461 colors: FL_COL1 FL_COL1
1462 alignment: FL_ALIGN_CENTER
1463 style: FL_NORMAL_STYLE
1464 size: FL_DEFAULT_SIZE
1465 lcol: FL_BLACK
1466 label: Browse
1467 shortcut:
1468 resize: FL_RESIZE_ALL
1469 gravity: FL_NoGravity FL_NoGravity
1470 name: button_kbmap1_browse
1471 callback: C_FormBaseDeprecatedInputCB
1472 argument: 0
1473
1474 --------------------
1475 class: FL_BUTTON
1476 type: NORMAL_BUTTON
1477 box: 341 128 90 30
1478 boxtype: FL_UP_BOX
1479 colors: FL_COL1 FL_COL1
1480 alignment: FL_ALIGN_CENTER
1481 style: FL_NORMAL_STYLE
1482 size: FL_DEFAULT_SIZE
1483 lcol: FL_BLACK
1484 label: Browse
1485 shortcut:
1486 resize: FL_RESIZE_ALL
1487 gravity: FL_NoGravity FL_NoGravity
1488 name: button_kbmap2_browse
1489 callback: C_FormBaseDeprecatedInputCB
1490 argument: 0
1491
1492 --------------------
1493 class: FL_CHECKBUTTON
1494 type: PUSH_BUTTON
1495 box: 140 161 30 30
1496 boxtype: FL_NO_BOX
1497 colors: FL_COL1 FL_YELLOW
1498 alignment: FL_ALIGN_LEFT
1499 style: FL_NORMAL_STYLE
1500 size: FL_NORMAL_SIZE
1501 lcol: FL_BLACK
1502 label: RtL support|#R
1503 shortcut:
1504 resize: FL_RESIZE_ALL
1505 gravity: FL_NoGravity FL_NoGravity
1506 name: check_rtl_support
1507 callback: C_FormBaseDeprecatedInputCB
1508 argument: 0
1509
1510 --------------------
1511 class: FL_CHECKBUTTON
1512 type: PUSH_BUTTON
1513 box: 265 161 30 30
1514 boxtype: FL_NO_BOX
1515 colors: FL_COL1 FL_YELLOW
1516 alignment: FL_ALIGN_LEFT
1517 style: FL_NORMAL_STYLE
1518 size: FL_NORMAL_SIZE
1519 lcol: FL_BLACK
1520 label: Auto begin|#b
1521 shortcut:
1522 resize: FL_RESIZE_ALL
1523 gravity: FL_NoGravity FL_NoGravity
1524 name: check_auto_begin
1525 callback: C_FormBaseDeprecatedInputCB
1526 argument: 0
1527
1528 --------------------
1529 class: FL_CHECKBUTTON
1530 type: PUSH_BUTTON
1531 box: 390 161 30 30
1532 boxtype: FL_NO_BOX
1533 colors: FL_COL1 FL_YELLOW
1534 alignment: FL_ALIGN_LEFT
1535 style: FL_NORMAL_STYLE
1536 size: FL_NORMAL_SIZE
1537 lcol: FL_BLACK
1538 label: Use babel|#U
1539 shortcut:
1540 resize: FL_RESIZE_ALL
1541 gravity: FL_NoGravity FL_NoGravity
1542 name: check_use_babel
1543 callback: C_FormBaseDeprecatedInputCB
1544 argument: 0
1545
1546 --------------------
1547 class: FL_CHECKBUTTON
1548 type: PUSH_BUTTON
1549 box: 140 187 30 30
1550 boxtype: FL_NO_BOX
1551 colors: FL_COL1 FL_YELLOW
1552 alignment: FL_ALIGN_LEFT
1553 style: FL_NORMAL_STYLE
1554 size: FL_NORMAL_SIZE
1555 lcol: FL_BLACK
1556 label: Mark foreign|#M
1557 shortcut:
1558 resize: FL_RESIZE_ALL
1559 gravity: FL_NoGravity FL_NoGravity
1560 name: check_mark_foreign
1561 callback: C_FormBaseDeprecatedInputCB
1562 argument: 0
1563
1564 --------------------
1565 class: FL_CHECKBUTTON
1566 type: PUSH_BUTTON
1567 box: 265 187 30 30
1568 boxtype: FL_NO_BOX
1569 colors: FL_COL1 FL_YELLOW
1570 alignment: FL_ALIGN_LEFT
1571 style: FL_NORMAL_STYLE
1572 size: FL_NORMAL_SIZE
1573 lcol: FL_BLACK
1574 label: Auto finish|#f
1575 shortcut:
1576 resize: FL_RESIZE_ALL
1577 gravity: FL_NoGravity FL_NoGravity
1578 name: check_auto_end
1579 callback: C_FormBaseDeprecatedInputCB
1580 argument: 0
1581
1582 --------------------
1583 class: FL_CHECKBUTTON
1584 type: PUSH_BUTTON
1585 box: 390 187 30 30
1586 boxtype: FL_NO_BOX
1587 colors: FL_COL1 FL_YELLOW
1588 alignment: FL_ALIGN_LEFT
1589 style: FL_NORMAL_STYLE
1590 size: FL_NORMAL_SIZE
1591 lcol: FL_BLACK
1592 label: Global|#G
1593 shortcut:
1594 resize: FL_RESIZE_ALL
1595 gravity: FL_NoGravity FL_NoGravity
1596 name: check_global_options
1597 callback: C_FormBaseDeprecatedInputCB
1598 argument: 0
1599
1600 --------------------
1601 class: FL_INPUT
1602 type: NORMAL_INPUT
1603 box: 131 224 300 30
1604 boxtype: FL_DOWN_BOX
1605 colors: FL_COL1 FL_MCOL
1606 alignment: FL_ALIGN_LEFT
1607 style: FL_NORMAL_STYLE
1608 size: FL_NORMAL_SIZE
1609 lcol: FL_BLACK
1610 label: Command start|#s
1611 shortcut:
1612 resize: FL_RESIZE_ALL
1613 gravity: FL_NoGravity FL_NoGravity
1614 name: input_command_begin
1615 callback: C_FormBaseDeprecatedInputCB
1616 argument: 0
1617
1618 --------------------
1619 class: FL_INPUT
1620 type: NORMAL_INPUT
1621 box: 131 257 300 30
1622 boxtype: FL_DOWN_BOX
1623 colors: FL_COL1 FL_MCOL
1624 alignment: FL_ALIGN_LEFT
1625 style: FL_NORMAL_STYLE
1626 size: FL_NORMAL_SIZE
1627 lcol: FL_BLACK
1628 label: Command end|#e
1629 shortcut:
1630 resize: FL_RESIZE_ALL
1631 gravity: FL_NoGravity FL_NoGravity
1632 name: input_command_end
1633 callback: C_FormBaseDeprecatedInputCB
1634 argument: 0
1635
1636 =============== FORM ===============
1637 Name: form_formats
1638 Width: 450
1639 Height: 360
1640 Number of Objects: 9
1641
1642 --------------------
1643 class: FL_BOX
1644 type: FLAT_BOX
1645 box: 0 0 450 360
1646 boxtype: FL_FLAT_BOX
1647 colors: FL_COL1 FL_COL1
1648 alignment: FL_ALIGN_CENTER
1649 style: FL_NORMAL_STYLE
1650 size: FL_DEFAULT_SIZE
1651 lcol: FL_BLACK
1652 label:
1653 shortcut:
1654 resize: FL_RESIZE_ALL
1655 gravity: FL_NoGravity FL_NoGravity
1656 name:
1657 callback:
1658 argument:
1659
1660 --------------------
1661 class: FL_BROWSER
1662 type: HOLD_BROWSER
1663 box: 30 30 160 270
1664 boxtype: FL_DOWN_BOX
1665 colors: FL_COL1 FL_YELLOW
1666 alignment: FL_ALIGN_TOP
1667 style: FL_NORMAL_STYLE
1668 size: FL_NORMAL_SIZE
1669 lcol: FL_BLACK
1670 label: All formats|#A
1671 shortcut:
1672 resize: FL_RESIZE_ALL
1673 gravity: FL_NoGravity FL_NoGravity
1674 name: browser_all
1675 callback: C_FormBaseDeprecatedInputCB
1676 argument: 0
1677
1678 --------------------
1679 class: FL_INPUT
1680 type: NORMAL_INPUT
1681 box: 280 30 150 30
1682 boxtype: FL_DOWN_BOX
1683 colors: FL_COL1 FL_MCOL
1684 alignment: FL_ALIGN_LEFT
1685 style: FL_NORMAL_STYLE
1686 size: FL_NORMAL_SIZE
1687 lcol: FL_BLACK
1688 label: Format|#F
1689 shortcut:
1690 resize: FL_RESIZE_ALL
1691 gravity: FL_NoGravity FL_NoGravity
1692 name: input_format
1693 callback: C_FormBaseDeprecatedInputCB
1694 argument: 0
1695
1696 --------------------
1697 class: FL_INPUT
1698 type: NORMAL_INPUT
1699 box: 280 70 150 30
1700 boxtype: FL_DOWN_BOX
1701 colors: FL_COL1 FL_MCOL
1702 alignment: FL_ALIGN_LEFT
1703 style: FL_NORMAL_STYLE
1704 size: FL_NORMAL_SIZE
1705 lcol: FL_BLACK
1706 label: GUI name|#G
1707 shortcut:
1708 resize: FL_RESIZE_ALL
1709 gravity: FL_NoGravity FL_NoGravity
1710 name: input_gui_name
1711 callback: C_FormBaseDeprecatedInputCB
1712 argument: 0
1713
1714 --------------------
1715 class: FL_INPUT
1716 type: NORMAL_INPUT
1717 box: 280 110 150 30
1718 boxtype: FL_DOWN_BOX
1719 colors: FL_COL1 FL_MCOL
1720 alignment: FL_ALIGN_LEFT
1721 style: FL_NORMAL_STYLE
1722 size: FL_NORMAL_SIZE
1723 lcol: FL_BLACK
1724 label: Shortcut|#S
1725 shortcut:
1726 resize: FL_RESIZE_ALL
1727 gravity: FL_NoGravity FL_NoGravity
1728 name: input_shrtcut
1729 callback: C_FormBaseDeprecatedInputCB
1730 argument: 0
1731
1732 --------------------
1733 class: FL_INPUT
1734 type: NORMAL_INPUT
1735 box: 280 150 150 30
1736 boxtype: FL_DOWN_BOX
1737 colors: FL_COL1 FL_MCOL
1738 alignment: FL_ALIGN_LEFT
1739 style: FL_NORMAL_STYLE
1740 size: FL_NORMAL_SIZE
1741 lcol: FL_BLACK
1742 label: Extension|#E
1743 shortcut:
1744 resize: FL_RESIZE_ALL
1745 gravity: FL_NoGravity FL_NoGravity
1746 name: input_extension
1747 callback: C_FormBaseDeprecatedInputCB
1748 argument: 0
1749
1750 --------------------
1751 class: FL_INPUT
1752 type: NORMAL_INPUT
1753 box: 280 190 150 30
1754 boxtype: FL_DOWN_BOX
1755 colors: FL_COL1 FL_MCOL
1756 alignment: FL_ALIGN_LEFT
1757 style: FL_NORMAL_STYLE
1758 size: FL_NORMAL_SIZE
1759 lcol: FL_BLACK
1760 label: Viewer|#V
1761 shortcut:
1762 resize: FL_RESIZE_ALL
1763 gravity: FL_NoGravity FL_NoGravity
1764 name: input_viewer
1765 callback: C_FormBaseDeprecatedInputCB
1766 argument: 0
1767
1768 --------------------
1769 class: FL_BUTTON
1770 type: NORMAL_BUTTON
1771 box: 240 270 90 30
1772 boxtype: FL_UP_BOX
1773 colors: FL_COL1 FL_COL1
1774 alignment: FL_ALIGN_CENTER
1775 style: FL_NORMAL_STYLE
1776 size: FL_NORMAL_SIZE
1777 lcol: FL_BLACK
1778 label: Add|#A
1779 shortcut:
1780 resize: FL_RESIZE_ALL
1781 gravity: FL_NoGravity FL_NoGravity
1782 name: button_add
1783 callback: C_FormBaseDeprecatedInputCB
1784 argument: 0
1785
1786 --------------------
1787 class: FL_BUTTON
1788 type: NORMAL_BUTTON
1789 box: 340 270 90 30
1790 boxtype: FL_UP_BOX
1791 colors: FL_COL1 FL_COL1
1792 alignment: FL_ALIGN_CENTER
1793 style: FL_NORMAL_STYLE
1794 size: FL_NORMAL_SIZE
1795 lcol: FL_BLACK
1796 label: Delete|#D
1797 shortcut:
1798 resize: FL_RESIZE_ALL
1799 gravity: FL_NoGravity FL_NoGravity
1800 name: button_delete
1801 callback: C_FormBaseDeprecatedInputCB
1802 argument: 0
1803
1804 =============== FORM ===============
1805 Name: form_converters
1806 Width: 450
1807 Height: 360
1808 Number of Objects: 8
1809
1810 --------------------
1811 class: FL_BOX
1812 type: FLAT_BOX
1813 box: 0 0 450 360
1814 boxtype: FL_FLAT_BOX
1815 colors: FL_COL1 FL_COL1
1816 alignment: FL_ALIGN_CENTER
1817 style: FL_NORMAL_STYLE
1818 size: FL_DEFAULT_SIZE
1819 lcol: FL_BLACK
1820 label:
1821 shortcut:
1822 resize: FL_RESIZE_ALL
1823 gravity: FL_NoGravity FL_NoGravity
1824 name:
1825 callback:
1826 argument:
1827
1828 --------------------
1829 class: FL_BROWSER
1830 type: HOLD_BROWSER
1831 box: 30 30 160 270
1832 boxtype: FL_DOWN_BOX
1833 colors: FL_COL1 FL_YELLOW
1834 alignment: FL_ALIGN_TOP
1835 style: FL_NORMAL_STYLE
1836 size: FL_NORMAL_SIZE
1837 lcol: FL_BLACK
1838 label: All converters|#A
1839 shortcut:
1840 resize: FL_RESIZE_ALL
1841 gravity: FL_NoGravity FL_NoGravity
1842 name: browser_all
1843 callback: C_FormBaseDeprecatedInputCB
1844 argument: 0
1845
1846 --------------------
1847 class: FL_CHOICE
1848 type: NORMAL_CHOICE
1849 box: 280 30 150 30
1850 boxtype: FL_FRAME_BOX
1851 colors: FL_COL1 FL_BLACK
1852 alignment: FL_ALIGN_LEFT
1853 style: FL_NORMAL_STYLE
1854 size: FL_DEFAULT_SIZE
1855 lcol: FL_BLACK
1856 label: From|#F
1857 shortcut:
1858 resize: FL_RESIZE_ALL
1859 gravity: FL_NoGravity FL_NoGravity
1860 name: choice_from
1861 callback: C_FormBaseDeprecatedInputCB
1862 argument: 0
1863
1864 --------------------
1865 class: FL_CHOICE
1866 type: NORMAL_CHOICE
1867 box: 280 70 150 30
1868 boxtype: FL_FRAME_BOX
1869 colors: FL_COL1 FL_BLACK
1870 alignment: FL_ALIGN_LEFT
1871 style: FL_NORMAL_STYLE
1872 size: FL_DEFAULT_SIZE
1873 lcol: FL_BLACK
1874 label: To|#T
1875 shortcut:
1876 resize: FL_RESIZE_ALL
1877 gravity: FL_NoGravity FL_NoGravity
1878 name: choice_to
1879 callback: C_FormBaseDeprecatedInputCB
1880 argument: 0
1881
1882 --------------------
1883 class: FL_INPUT
1884 type: NORMAL_INPUT
1885 box: 280 110 150 30
1886 boxtype: FL_DOWN_BOX
1887 colors: FL_COL1 FL_MCOL
1888 alignment: FL_ALIGN_LEFT
1889 style: FL_NORMAL_STYLE
1890 size: FL_NORMAL_SIZE
1891 lcol: FL_BLACK
1892 label: Converter|#C
1893 shortcut:
1894 resize: FL_RESIZE_ALL
1895 gravity: FL_NoGravity FL_NoGravity
1896 name: input_converter
1897 callback: C_FormBaseDeprecatedInputCB
1898 argument: 0
1899
1900 --------------------
1901 class: FL_INPUT
1902 type: NORMAL_INPUT
1903 box: 280 150 150 30
1904 boxtype: FL_DOWN_BOX
1905 colors: FL_COL1 FL_MCOL
1906 alignment: FL_ALIGN_LEFT
1907 style: FL_NORMAL_STYLE
1908 size: FL_NORMAL_SIZE
1909 lcol: FL_BLACK
1910 label: Flags|#F
1911 shortcut:
1912 resize: FL_RESIZE_ALL
1913 gravity: FL_NoGravity FL_NoGravity
1914 name: input_flags
1915 callback: C_FormBaseDeprecatedInputCB
1916 argument: 0
1917
1918 --------------------
1919 class: FL_BUTTON
1920 type: NORMAL_BUTTON
1921 box: 240 270 90 30
1922 boxtype: FL_UP_BOX
1923 colors: FL_COL1 FL_COL1
1924 alignment: FL_ALIGN_CENTER
1925 style: FL_NORMAL_STYLE
1926 size: FL_NORMAL_SIZE
1927 lcol: FL_BLACK
1928 label: Add|#A
1929 shortcut:
1930 resize: FL_RESIZE_ALL
1931 gravity: FL_NoGravity FL_NoGravity
1932 name: button_add
1933 callback: C_FormBaseDeprecatedInputCB
1934 argument: 0
1935
1936 --------------------
1937 class: FL_BUTTON
1938 type: NORMAL_BUTTON
1939 box: 340 270 90 30
1940 boxtype: FL_UP_BOX
1941 colors: FL_COL1 FL_COL1
1942 alignment: FL_ALIGN_CENTER
1943 style: FL_NORMAL_STYLE
1944 size: FL_NORMAL_SIZE
1945 lcol: FL_BLACK
1946 label: Delete|#D
1947 shortcut:
1948 resize: FL_RESIZE_ALL
1949 gravity: FL_NoGravity FL_NoGravity
1950 name: button_delete
1951 callback: C_FormBaseDeprecatedInputCB
1952 argument: 0
1953
1954 =============== FORM ===============
1955 Name: form_paths
1956 Width: 450
1957 Height: 350
1958 Number of Objects: 17
1959
1960 --------------------
1961 class: FL_BOX
1962 type: FLAT_BOX
1963 box: 0 0 450 350
1964 boxtype: FL_FLAT_BOX
1965 colors: FL_COL1 FL_COL1
1966 alignment: FL_ALIGN_CENTER
1967 style: FL_NORMAL_STYLE
1968 size: FL_DEFAULT_SIZE
1969 lcol: FL_BLACK
1970 label:
1971 shortcut:
1972 resize: FL_RESIZE_ALL
1973 gravity: FL_NoGravity FL_NoGravity
1974 name:
1975 callback:
1976 argument:
1977
1978 --------------------
1979 class: FL_INPUT
1980 type: NORMAL_INPUT
1981 box: 170 10 170 30
1982 boxtype: FL_DOWN_BOX
1983 colors: FL_COL1 FL_MCOL
1984 alignment: FL_ALIGN_LEFT
1985 style: FL_NORMAL_STYLE
1986 size: FL_NORMAL_SIZE
1987 lcol: FL_BLACK
1988 label: Default path|#p
1989 shortcut:
1990 resize: FL_RESIZE_ALL
1991 gravity: FL_NoGravity FL_NoGravity
1992 name: input_default_path
1993 callback: C_FormBaseDeprecatedInputCB
1994 argument: 0
1995
1996 --------------------
1997 class: FL_BUTTON
1998 type: NORMAL_BUTTON
1999 box: 340 10 90 30
2000 boxtype: FL_UP_BOX
2001 colors: FL_COL1 FL_COL1
2002 alignment: FL_ALIGN_CENTER
2003 style: FL_NORMAL_STYLE
2004 size: FL_NORMAL_SIZE
2005 lcol: FL_BLACK
2006 label: Browse...
2007 shortcut:
2008 resize: FL_RESIZE_ALL
2009 gravity: FL_NoGravity FL_NoGravity
2010 name: button_default_path_browse
2011 callback: C_FormBaseDeprecatedInputCB
2012 argument: 0
2013
2014 --------------------
2015 class: FL_INPUT
2016 type: NORMAL_INPUT
2017 box: 170 40 170 30
2018 boxtype: FL_DOWN_BOX
2019 colors: FL_COL1 FL_MCOL
2020 alignment: FL_ALIGN_LEFT
2021 style: FL_NORMAL_STYLE
2022 size: FL_NORMAL_SIZE
2023 lcol: FL_BLACK
2024 label: Template path|#T
2025 shortcut:
2026 resize: FL_RESIZE_ALL
2027 gravity: FL_NoGravity FL_NoGravity
2028 name: input_template_path
2029 callback: C_FormBaseDeprecatedInputCB
2030 argument: 0
2031
2032 --------------------
2033 class: FL_BUTTON
2034 type: NORMAL_BUTTON
2035 box: 340 40 90 30
2036 boxtype: FL_UP_BOX
2037 colors: FL_COL1 FL_COL1
2038 alignment: FL_ALIGN_CENTER
2039 style: FL_NORMAL_STYLE
2040 size: FL_NORMAL_SIZE
2041 lcol: FL_BLACK
2042 label: Browse...
2043 shortcut:
2044 resize: FL_RESIZE_ALL
2045 gravity: FL_NoGravity FL_NoGravity
2046 name: button_template_path_browse
2047 callback: C_FormBaseDeprecatedInputCB
2048 argument: 0
2049
2050 --------------------
2051 class: FL_CHECKBUTTON
2052 type: PUSH_BUTTON
2053 box: 134 70 30 30
2054 boxtype: FL_NO_BOX
2055 colors: FL_COL1 FL_YELLOW
2056 alignment: FL_ALIGN_LEFT
2057 style: FL_NORMAL_STYLE
2058 size: FL_NORMAL_SIZE
2059 lcol: FL_BLACK
2060 label: Temp dir|#d
2061 shortcut:
2062 resize: FL_RESIZE_ALL
2063 gravity: FL_NoGravity FL_NoGravity
2064 name: check_use_temp_dir
2065 callback: C_FormBaseDeprecatedInputCB
2066 argument: 0
2067         value: 1
2068
2069 --------------------
2070 class: FL_INPUT
2071 type: NORMAL_INPUT
2072 box: 170 70 170 30
2073 boxtype: FL_DOWN_BOX
2074 colors: FL_COL1 FL_MCOL
2075 alignment: FL_ALIGN_LEFT
2076 style: FL_NORMAL_STYLE
2077 size: FL_NORMAL_SIZE
2078 lcol: FL_BLACK
2079 label:
2080 shortcut:
2081 resize: FL_RESIZE_ALL
2082 gravity: FL_NoGravity FL_NoGravity
2083 name: input_temp_dir
2084 callback: C_FormBaseDeprecatedInputCB
2085 argument: 0
2086
2087 --------------------
2088 class: FL_BUTTON
2089 type: NORMAL_BUTTON
2090 box: 340 70 90 30
2091 boxtype: FL_UP_BOX
2092 colors: FL_COL1 FL_COL1
2093 alignment: FL_ALIGN_CENTER
2094 style: FL_NORMAL_STYLE
2095 size: FL_NORMAL_SIZE
2096 lcol: FL_BLACK
2097 label: Browse...
2098 shortcut:
2099 resize: FL_RESIZE_ALL
2100 gravity: FL_NoGravity FL_NoGravity
2101 name: button_temp_dir_browse
2102 callback: C_FormBaseDeprecatedInputCB
2103 argument: 0
2104
2105 --------------------
2106 class: FL_CHECKBUTTON
2107 type: PUSH_BUTTON
2108 box: 134 100 30 30
2109 boxtype: FL_NO_BOX
2110 colors: FL_COL1 FL_YELLOW
2111 alignment: FL_ALIGN_LEFT
2112 style: FL_NORMAL_STYLE
2113 size: FL_NORMAL_SIZE
2114 lcol: FL_BLACK
2115 label: Check last files|#C
2116 shortcut:
2117 resize: FL_RESIZE_ALL
2118 gravity: FL_NoGravity FL_NoGravity
2119 name: check_last_files
2120 callback: C_FormBaseDeprecatedInputCB
2121 argument: 0
2122         value: 1
2123
2124 --------------------
2125 class: FL_INPUT
2126 type: NORMAL_INPUT
2127 box: 170 100 170 30
2128 boxtype: FL_DOWN_BOX
2129 colors: FL_COL1 FL_MCOL
2130 alignment: FL_ALIGN_LEFT
2131 style: FL_NORMAL_STYLE
2132 size: FL_NORMAL_SIZE
2133 lcol: FL_BLACK
2134 label:
2135 shortcut:
2136 resize: FL_RESIZE_ALL
2137 gravity: FL_NoGravity FL_NoGravity
2138 name: input_lastfiles
2139 callback: C_FormBaseDeprecatedInputCB
2140 argument: 0
2141
2142 --------------------
2143 class: FL_BUTTON
2144 type: NORMAL_BUTTON
2145 box: 340 100 90 30
2146 boxtype: FL_UP_BOX
2147 colors: FL_COL1 FL_COL1
2148 alignment: FL_ALIGN_CENTER
2149 style: FL_NORMAL_STYLE
2150 size: FL_NORMAL_SIZE
2151 lcol: FL_BLACK
2152 label: Browse...
2153 shortcut:
2154 resize: FL_RESIZE_ALL
2155 gravity: FL_NoGravity FL_NoGravity
2156 name: button_lastfiles_browse
2157 callback: C_FormBaseDeprecatedInputCB
2158 argument: 0
2159
2160 --------------------
2161 class: FL_COUNTER
2162 type: SIMPLE_COUNTER
2163 box: 170 130 90 30
2164 boxtype: FL_UP_BOX
2165 colors: FL_COL1 FL_BLUE
2166 alignment: FL_ALIGN_LEFT
2167 style: FL_NORMAL_STYLE
2168 size: FL_NORMAL_SIZE
2169 lcol: FL_BLACK
2170 label: Last file count|#L
2171 shortcut:
2172 resize: FL_RESIZE_ALL
2173 gravity: FL_NoGravity FL_NoGravity
2174 name: counter_lastfiles
2175 callback: C_FormBaseDeprecatedInputCB
2176 argument: 0
2177   bounds: 0 9
2178   precision: 0
2179   value: 4
2180   sstep: 1
2181
2182 --------------------
2183 class: FL_CHECKBUTTON
2184 type: PUSH_BUTTON
2185 box: 134 170 30 30
2186 boxtype: FL_NO_BOX
2187 colors: FL_COL1 FL_YELLOW
2188 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2189 style: FL_NORMAL_STYLE
2190 size: FL_NORMAL_SIZE
2191 lcol: FL_BLACK
2192 label: Backup path|#B
2193 shortcut:
2194 resize: FL_RESIZE_ALL
2195 gravity: FL_NoGravity FL_NoGravity
2196 name: check_make_backups
2197 callback: C_FormBaseDeprecatedInputCB
2198 argument: 0
2199         value: 1
2200
2201 --------------------
2202 class: FL_INPUT
2203 type: NORMAL_INPUT
2204 box: 170 170 170 30
2205 boxtype: FL_DOWN_BOX
2206 colors: FL_COL1 FL_MCOL
2207 alignment: FL_ALIGN_LEFT
2208 style: FL_NORMAL_STYLE
2209 size: FL_NORMAL_SIZE
2210 lcol: FL_BLACK
2211 label:
2212 shortcut:
2213 resize: FL_RESIZE_ALL
2214 gravity: FL_NoGravity FL_NoGravity
2215 name: input_backup_path
2216 callback: C_FormBaseDeprecatedInputCB
2217 argument: 0
2218
2219 --------------------
2220 class: FL_BUTTON
2221 type: NORMAL_BUTTON
2222 box: 340 170 90 30
2223 boxtype: FL_UP_BOX
2224 colors: FL_COL1 FL_COL1
2225 alignment: FL_ALIGN_CENTER
2226 style: FL_NORMAL_STYLE
2227 size: FL_NORMAL_SIZE
2228 lcol: FL_BLACK
2229 label: Browse...
2230 shortcut:
2231 resize: FL_RESIZE_ALL
2232 gravity: FL_NoGravity FL_NoGravity
2233 name: button_backup_path_browse
2234 callback: C_FormBaseDeprecatedInputCB
2235 argument: 0
2236
2237 --------------------
2238 class: FL_INPUT
2239 type: NORMAL_INPUT
2240 box: 169 217 170 30
2241 boxtype: FL_DOWN_BOX
2242 colors: FL_COL1 FL_MCOL
2243 alignment: FL_ALIGN_LEFT
2244 style: FL_NORMAL_STYLE
2245 size: FL_NORMAL_SIZE
2246 lcol: FL_BLACK
2247 label: LyXServer pipe|#S
2248 shortcut:
2249 resize: FL_RESIZE_ALL
2250 gravity: FL_NoGravity FL_NoGravity
2251 name: input_serverpipe
2252 callback: C_FormBaseDeprecatedInputCB
2253 argument: 0
2254
2255 --------------------
2256 class: FL_BUTTON
2257 type: NORMAL_BUTTON
2258 box: 339 217 90 30
2259 boxtype: FL_UP_BOX
2260 colors: FL_COL1 FL_COL1
2261 alignment: FL_ALIGN_CENTER
2262 style: FL_NORMAL_STYLE
2263 size: FL_NORMAL_SIZE
2264 lcol: FL_BLACK
2265 label: Browse...
2266 shortcut:
2267 resize: FL_RESIZE_ALL
2268 gravity: FL_NoGravity FL_NoGravity
2269 name: button_serverpipe_browse
2270 callback: C_FormBaseDeprecatedInputCB
2271 argument: 0
2272
2273 =============== FORM ===============
2274 Name: form_inputs_misc
2275 Width: 450
2276 Height: 360
2277 Number of Objects: 2
2278
2279 --------------------
2280 class: FL_BOX
2281 type: FLAT_BOX
2282 box: 0 0 450 360
2283 boxtype: FL_FLAT_BOX
2284 colors: FL_COL1 FL_COL1
2285 alignment: FL_ALIGN_CENTER
2286 style: FL_NORMAL_STYLE
2287 size: FL_DEFAULT_SIZE
2288 lcol: FL_BLACK
2289 label:
2290 shortcut:
2291 resize: FL_RESIZE_ALL
2292 gravity: FL_NoGravity FL_NoGravity
2293 name:
2294 callback:
2295 argument:
2296
2297 --------------------
2298 class: FL_INPUT
2299 type: NORMAL_INPUT
2300 box: 120 70 285 30
2301 boxtype: FL_DOWN_BOX
2302 colors: FL_COL1 FL_MCOL
2303 alignment: FL_ALIGN_LEFT
2304 style: FL_NORMAL_STYLE
2305 size: FL_NORMAL_SIZE
2306 lcol: FL_BLACK
2307 label: date format|#f
2308 shortcut:
2309 resize: FL_RESIZE_ALL
2310 gravity: FL_NoGravity FL_NoGravity
2311 name: input_date_format
2312 callback: C_FormBaseDeprecatedInputCB
2313 argument: 0
2314
2315 =============== FORM ===============
2316 Name: form_printer
2317 Width: 450
2318 Height: 350
2319 Number of Objects: 20
2320
2321 --------------------
2322 class: FL_BOX
2323 type: FLAT_BOX
2324 box: 0 0 450 350
2325 boxtype: FL_FLAT_BOX
2326 colors: FL_COL1 FL_COL1
2327 alignment: FL_ALIGN_CENTER
2328 style: FL_NORMAL_STYLE
2329 size: FL_DEFAULT_SIZE
2330 lcol: FL_BLACK
2331 label:
2332 shortcut:
2333 resize: FL_RESIZE_ALL
2334 gravity: FL_NoGravity FL_NoGravity
2335 name:
2336 callback:
2337 argument:
2338
2339 --------------------
2340 class: FL_INPUT
2341 type: NORMAL_INPUT
2342 box: 130 10 80 30
2343 boxtype: FL_DOWN_BOX
2344 colors: FL_COL1 FL_MCOL
2345 alignment: FL_ALIGN_LEFT
2346 style: FL_NORMAL_STYLE
2347 size: FL_NORMAL_SIZE
2348 lcol: FL_BLACK
2349 label: name
2350 shortcut:
2351 resize: FL_RESIZE_ALL
2352 gravity: FL_NoGravity FL_NoGravity
2353 name: input_name
2354 callback: C_FormBaseDeprecatedInputCB
2355 argument: 0
2356
2357 --------------------
2358 class: FL_CHECKBUTTON
2359 type: PUSH_BUTTON
2360 box: 240 10 30 30
2361 boxtype: FL_NO_BOX
2362 colors: FL_COL1 FL_YELLOW
2363 alignment: FL_ALIGN_CENTER
2364 style: FL_NORMAL_STYLE
2365 size: FL_NORMAL_SIZE
2366 lcol: FL_BLACK
2367 label: adapt output
2368 shortcut:
2369 resize: FL_RESIZE_ALL
2370 gravity: FL_NoGravity FL_NoGravity
2371 name: check_adapt_output
2372 callback: C_FormBaseDeprecatedInputCB
2373 argument: 0
2374
2375 --------------------
2376 class: FL_LABELFRAME
2377 type: ENGRAVED_FRAME
2378 box: 0 60 452 260
2379 boxtype: FL_NO_BOX
2380 colors: FL_BLACK FL_COL1
2381 alignment: FL_ALIGN_TOP_LEFT
2382 style: FL_NORMAL_STYLE
2383 size: FL_NORMAL_SIZE
2384 lcol: FL_BLACK
2385 label: Printer Command and Flags
2386 shortcut:
2387 resize: FL_RESIZE_ALL
2388 gravity: FL_NoGravity FL_NoGravity
2389 name:
2390 callback:
2391 argument:
2392
2393 --------------------
2394 class: FL_INPUT
2395 type: NORMAL_INPUT
2396 box: 130 75 80 30
2397 boxtype: FL_DOWN_BOX
2398 colors: FL_COL1 FL_MCOL
2399 alignment: FL_ALIGN_LEFT
2400 style: FL_NORMAL_STYLE
2401 size: FL_NORMAL_SIZE
2402 lcol: FL_BLACK
2403 label: command
2404 shortcut:
2405 resize: FL_RESIZE_ALL
2406 gravity: FL_NoGravity FL_NoGravity
2407 name: input_command
2408 callback: C_FormBaseDeprecatedInputCB
2409 argument: 0
2410
2411 --------------------
2412 class: FL_INPUT
2413 type: NORMAL_INPUT
2414 box: 130 105 80 30
2415 boxtype: FL_DOWN_BOX
2416 colors: FL_COL1 FL_MCOL
2417 alignment: FL_ALIGN_LEFT
2418 style: FL_NORMAL_STYLE
2419 size: FL_NORMAL_SIZE
2420 lcol: FL_BLACK
2421 label: page range
2422 shortcut:
2423 resize: FL_RESIZE_ALL
2424 gravity: FL_NoGravity FL_NoGravity
2425 name: input_page_range
2426 callback: C_FormBaseDeprecatedInputCB
2427 argument: 0
2428
2429 --------------------
2430 class: FL_INPUT
2431 type: NORMAL_INPUT
2432 box: 130 135 80 30
2433 boxtype: FL_DOWN_BOX
2434 colors: FL_COL1 FL_MCOL
2435 alignment: FL_ALIGN_LEFT
2436 style: FL_NORMAL_STYLE
2437 size: FL_NORMAL_SIZE
2438 lcol: FL_BLACK
2439 label: copies
2440 shortcut:
2441 resize: FL_RESIZE_ALL
2442 gravity: FL_NoGravity FL_NoGravity
2443 name: input_copies
2444 callback: C_FormBaseDeprecatedInputCB
2445 argument: 0
2446
2447 --------------------
2448 class: FL_INPUT
2449 type: NORMAL_INPUT
2450 box: 130 165 80 30
2451 boxtype: FL_DOWN_BOX
2452 colors: FL_COL1 FL_MCOL
2453 alignment: FL_ALIGN_LEFT
2454 style: FL_NORMAL_STYLE
2455 size: FL_NORMAL_SIZE
2456 lcol: FL_BLACK
2457 label: reverse
2458 shortcut:
2459 resize: FL_RESIZE_ALL
2460 gravity: FL_NoGravity FL_NoGravity
2461 name: input_reverse
2462 callback: C_FormBaseDeprecatedInputCB
2463 argument: 0
2464
2465 --------------------
2466 class: FL_INPUT
2467 type: NORMAL_INPUT
2468 box: 130 195 80 30
2469 boxtype: FL_DOWN_BOX
2470 colors: FL_COL1 FL_MCOL
2471 alignment: FL_ALIGN_LEFT
2472 style: FL_NORMAL_STYLE
2473 size: FL_NORMAL_SIZE
2474 lcol: FL_BLACK
2475 label: to printer
2476 shortcut:
2477 resize: FL_RESIZE_ALL
2478 gravity: FL_NoGravity FL_NoGravity
2479 name: input_to_printer
2480 callback: C_FormBaseDeprecatedInputCB
2481 argument: 0
2482
2483 --------------------
2484 class: FL_INPUT
2485 type: NORMAL_INPUT
2486 box: 130 225 80 30
2487 boxtype: FL_DOWN_BOX
2488 colors: FL_COL1 FL_MCOL
2489 alignment: FL_ALIGN_LEFT
2490 style: FL_NORMAL_STYLE
2491 size: FL_NORMAL_SIZE
2492 lcol: FL_BLACK
2493 label: file extension
2494 shortcut:
2495 resize: FL_RESIZE_ALL
2496 gravity: FL_NoGravity FL_NoGravity
2497 name: input_file_extension
2498 callback: C_FormBaseDeprecatedInputCB
2499 argument: 0
2500
2501 --------------------
2502 class: FL_INPUT
2503 type: NORMAL_INPUT
2504 box: 130 255 80 30
2505 boxtype: FL_DOWN_BOX
2506 colors: FL_COL1 FL_MCOL
2507 alignment: FL_ALIGN_LEFT
2508 style: FL_NORMAL_STYLE
2509 size: FL_NORMAL_SIZE
2510 lcol: FL_BLACK
2511 label: spool command
2512 shortcut:
2513 resize: FL_RESIZE_ALL
2514 gravity: FL_NoGravity FL_NoGravity
2515 name: input_spool_command
2516 callback: C_FormBaseDeprecatedInputCB
2517 argument: 0
2518
2519 --------------------
2520 class: FL_INPUT
2521 type: NORMAL_INPUT
2522 box: 130 285 80 30
2523 boxtype: FL_DOWN_BOX
2524 colors: FL_COL1 FL_MCOL
2525 alignment: FL_ALIGN_LEFT
2526 style: FL_NORMAL_STYLE
2527 size: FL_NORMAL_SIZE
2528 lcol: FL_BLACK
2529 label: paper type
2530 shortcut:
2531 resize: FL_RESIZE_ALL
2532 gravity: FL_NoGravity FL_NoGravity
2533 name: input_paper_type
2534 callback: C_FormBaseDeprecatedInputCB
2535 argument: 0
2536
2537 --------------------
2538 class: FL_INPUT
2539 type: NORMAL_INPUT
2540 box: 360 75 80 30
2541 boxtype: FL_DOWN_BOX
2542 colors: FL_COL1 FL_MCOL
2543 alignment: FL_ALIGN_LEFT
2544 style: FL_NORMAL_STYLE
2545 size: FL_NORMAL_SIZE
2546 lcol: FL_BLACK
2547 label: even pages
2548 shortcut:
2549 resize: FL_RESIZE_ALL
2550 gravity: FL_NoGravity FL_NoGravity
2551 name: input_even_pages
2552 callback: C_FormBaseDeprecatedInputCB
2553 argument: 0
2554
2555 --------------------
2556 class: FL_INPUT
2557 type: NORMAL_INPUT
2558 box: 360 105 80 30
2559 boxtype: FL_DOWN_BOX
2560 colors: FL_COL1 FL_MCOL
2561 alignment: FL_ALIGN_LEFT
2562 style: FL_NORMAL_STYLE
2563 size: FL_NORMAL_SIZE
2564 lcol: FL_BLACK
2565 label: odd pages
2566 shortcut:
2567 resize: FL_RESIZE_ALL
2568 gravity: FL_NoGravity FL_NoGravity
2569 name: input_odd_pages
2570 callback: C_FormBaseDeprecatedInputCB
2571 argument: 0
2572
2573 --------------------
2574 class: FL_INPUT
2575 type: NORMAL_INPUT
2576 box: 360 135 80 30
2577 boxtype: FL_DOWN_BOX
2578 colors: FL_COL1 FL_MCOL
2579 alignment: FL_ALIGN_LEFT
2580 style: FL_NORMAL_STYLE
2581 size: FL_NORMAL_SIZE
2582 lcol: FL_BLACK
2583 label: collated
2584 shortcut:
2585 resize: FL_RESIZE_ALL
2586 gravity: FL_NoGravity FL_NoGravity
2587 name: input_collated
2588 callback: C_FormBaseDeprecatedInputCB
2589 argument: 0
2590
2591 --------------------
2592 class: FL_INPUT
2593 type: NORMAL_INPUT
2594 box: 360 165 80 30
2595 boxtype: FL_DOWN_BOX
2596 colors: FL_COL1 FL_MCOL
2597 alignment: FL_ALIGN_LEFT
2598 style: FL_NORMAL_STYLE
2599 size: FL_NORMAL_SIZE
2600 lcol: FL_BLACK
2601 label: landscape
2602 shortcut:
2603 resize: FL_RESIZE_ALL
2604 gravity: FL_NoGravity FL_NoGravity
2605 name: input_landscape
2606 callback: C_FormBaseDeprecatedInputCB
2607 argument: 0
2608
2609 --------------------
2610 class: FL_INPUT
2611 type: NORMAL_INPUT
2612 box: 360 195 80 30
2613 boxtype: FL_DOWN_BOX
2614 colors: FL_COL1 FL_MCOL
2615 alignment: FL_ALIGN_LEFT
2616 style: FL_NORMAL_STYLE
2617 size: FL_NORMAL_SIZE
2618 lcol: FL_BLACK
2619 label: to file
2620 shortcut:
2621 resize: FL_RESIZE_ALL
2622 gravity: FL_NoGravity FL_NoGravity
2623 name: input_to_file
2624 callback: C_FormBaseDeprecatedInputCB
2625 argument: 0
2626
2627 --------------------
2628 class: FL_INPUT
2629 type: NORMAL_INPUT
2630 box: 360 225 80 30
2631 boxtype: FL_DOWN_BOX
2632 colors: FL_COL1 FL_MCOL
2633 alignment: FL_ALIGN_LEFT
2634 style: FL_NORMAL_STYLE
2635 size: FL_NORMAL_SIZE
2636 lcol: FL_BLACK
2637 label: extra options
2638 shortcut:
2639 resize: FL_RESIZE_ALL
2640 gravity: FL_NoGravity FL_NoGravity
2641 name: input_extra_options
2642 callback: C_FormBaseDeprecatedInputCB
2643 argument: 0
2644
2645 --------------------
2646 class: FL_INPUT
2647 type: NORMAL_INPUT
2648 box: 360 255 80 30
2649 boxtype: FL_DOWN_BOX
2650 colors: FL_COL1 FL_MCOL
2651 alignment: FL_ALIGN_LEFT
2652 style: FL_NORMAL_STYLE
2653 size: FL_NORMAL_SIZE
2654 lcol: FL_BLACK
2655 label: spool printer prefix
2656 shortcut:
2657 resize: FL_RESIZE_ALL
2658 gravity: FL_NoGravity FL_NoGravity
2659 name: input_spool_prefix
2660 callback: C_FormBaseDeprecatedInputCB
2661 argument: 0
2662
2663 --------------------
2664 class: FL_INPUT
2665 type: NORMAL_INPUT
2666 box: 360 285 80 30
2667 boxtype: FL_DOWN_BOX
2668 colors: FL_COL1 FL_MCOL
2669 alignment: FL_ALIGN_LEFT
2670 style: FL_NORMAL_STYLE
2671 size: FL_NORMAL_SIZE
2672 lcol: FL_BLACK
2673 label: paper size
2674 shortcut:
2675 resize: FL_RESIZE_ALL
2676 gravity: FL_NoGravity FL_NoGravity
2677 name: input_paper_size
2678 callback: C_FormBaseDeprecatedInputCB
2679 argument: 0
2680
2681 =============== FORM ===============
2682 Name: form_outputs_misc
2683 Width: 455
2684 Height: 375
2685 Number of Objects: 8
2686
2687 --------------------
2688 class: FL_BOX
2689 type: FLAT_BOX
2690 box: 0 0 455 375
2691 boxtype: FL_FLAT_BOX
2692 colors: FL_COL1 FL_COL1
2693 alignment: FL_ALIGN_CENTER
2694 style: FL_NORMAL_STYLE
2695 size: FL_DEFAULT_SIZE
2696 lcol: FL_BLACK
2697 label:
2698 shortcut:
2699 resize: FL_RESIZE_ALL
2700 gravity: FL_NorthWest FL_SouthEast
2701 name:
2702 callback:
2703 argument:
2704
2705 --------------------
2706 class: FL_COUNTER
2707 type: NORMAL_COUNTER
2708 box: 320 25 100 30
2709 boxtype: FL_UP_BOX
2710 colors: FL_COL1 FL_BLUE
2711 alignment: FL_ALIGN_LEFT
2712 style: FL_NORMAL_STYLE
2713 size: FL_NORMAL_SIZE
2714 lcol: FL_BLACK
2715 label: Ascii line length|#A
2716 shortcut:
2717 resize: FL_RESIZE_ALL
2718 gravity: FL_NoGravity FL_NoGravity
2719 name: counter_line_len
2720 callback: C_FormBaseDeprecatedInputCB
2721 argument: 0
2722   bounds: 0 120
2723   precision: 0
2724   value: 75
2725   sstep: 1
2726
2727 --------------------
2728 class: FL_INPUT
2729 type: NORMAL_INPUT
2730 box: 220 65 200 30
2731 boxtype: FL_DOWN_BOX
2732 colors: FL_COL1 FL_MCOL
2733 alignment: FL_ALIGN_LEFT
2734 style: FL_NORMAL_STYLE
2735 size: FL_NORMAL_SIZE
2736 lcol: FL_BLACK
2737 label: TeX encoding|#T
2738 shortcut:
2739 resize: FL_RESIZE_ALL
2740 gravity: FL_NoGravity FL_NoGravity
2741 name: input_tex_encoding
2742 callback: C_FormBaseDeprecatedInputCB
2743 argument: 0
2744
2745 --------------------
2746 class: FL_CHOICE
2747 type: NORMAL_CHOICE
2748 box: 220 110 199 29
2749 boxtype: FL_FRAME_BOX
2750 colors: FL_COL1 FL_BLACK
2751 alignment: FL_ALIGN_LEFT
2752 style: FL_NORMAL_STYLE
2753 size: FL_NORMAL_SIZE
2754 lcol: FL_BLACK
2755 label: Default paper size|#p
2756 shortcut:
2757 resize: FL_RESIZE_ALL
2758 gravity: FL_NoGravity FL_NoGravity
2759 name: choice_default_papersize
2760 callback: C_FormBaseDeprecatedInputCB
2761 argument: 0
2762
2763 --------------------
2764 class: FL_LABELFRAME
2765 type: ENGRAVED_FRAME
2766 box: 15 150 405 135
2767 boxtype: FL_NO_BOX
2768 colors: FL_BLACK FL_COL1
2769 alignment: FL_ALIGN_TOP_LEFT
2770 style: FL_BOLD_STYLE
2771 size: FL_NORMAL_SIZE
2772 lcol: FL_BLACK
2773 label: Outside code interaction
2774 shortcut:
2775 resize: FL_RESIZE_ALL
2776 gravity: FL_NoGravity FL_NoGravity
2777 name:
2778 callback:
2779 argument:
2780
2781 --------------------
2782 class: FL_INPUT
2783 type: NORMAL_INPUT
2784 box: 125 165 285 30
2785 boxtype: FL_DOWN_BOX
2786 colors: FL_COL1 FL_MCOL
2787 alignment: FL_ALIGN_LEFT
2788 style: FL_NORMAL_STYLE
2789 size: FL_NORMAL_SIZE
2790 lcol: FL_BLACK
2791 label: ascii roff|#r
2792 shortcut:
2793 resize: FL_RESIZE_ALL
2794 gravity: FL_NoGravity FL_NoGravity
2795 name: input_ascii_roff
2796 callback: C_FormBaseDeprecatedInputCB
2797 argument: 0
2798
2799 --------------------
2800 class: FL_INPUT
2801 type: NORMAL_INPUT
2802 box: 125 205 285 30
2803 boxtype: FL_DOWN_BOX
2804 colors: FL_COL1 FL_MCOL
2805 alignment: FL_ALIGN_LEFT
2806 style: FL_NORMAL_STYLE
2807 size: FL_NORMAL_SIZE
2808 lcol: FL_BLACK
2809 label: checktex|#c
2810 shortcut:
2811 resize: FL_RESIZE_ALL
2812 gravity: FL_NoGravity FL_NoGravity
2813 name: input_checktex
2814 callback: C_FormBaseDeprecatedInputCB
2815 argument: 0
2816
2817 --------------------
2818 class: FL_INPUT
2819 type: NORMAL_INPUT
2820 box: 125 245 285 30
2821 boxtype: FL_DOWN_BOX
2822 colors: FL_COL1 FL_MCOL
2823 alignment: FL_ALIGN_LEFT
2824 style: FL_NORMAL_STYLE
2825 size: FL_NORMAL_SIZE
2826 lcol: FL_BLACK
2827 label: DVI paper option
2828 shortcut:
2829 resize: FL_RESIZE_ALL
2830 gravity: FL_NoGravity FL_NoGravity
2831 name: input_paperoption
2832 callback: C_FormBaseDeprecatedInputCB
2833 argument: 0
2834
2835 ==============================
2836 create_the_forms