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