src/frontends/xforms/forms/form_preferences.fd

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