Magic: 13000 Internal Form Definition File (do not change) Number of forms: 1 Unit of measure: FL_COORD_PIXEL =============== FORM =============== Name: include Width: 340 Height: 210 Number of Objects: 14 -------------------- class: FL_BOX type: UP_BOX box: 0 0 340 210 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 10 70 160 90 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 230 30 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse|#B shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: browsebt callback: include_cb argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 180 70 150 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Don't typeset|#D shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: flag1 callback: argument: -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 120 170 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: OK shortcut: ^M resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: include_cb argument: 1 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 230 170 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Cancel|^[ shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: include_cb argument: 2 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 230 130 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Load|#L shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: include_cb argument: 5 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 10 30 210 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: File name:|#F shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input callback: argument: -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 180 100 150 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Visible space|#s shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: flag41 callback: argument: -------------------- class: FL_BEGIN_GROUP type: 0 box: 0 0 0 0 boxtype: FL_NO_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: include_grp callback: argument: -------------------- class: FL_CHECKBUTTON type: RADIO_BUTTON box: 10 130 160 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Verbatim|#V shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: flag4 callback: include_cb argument: 10 -------------------- class: FL_CHECKBUTTON type: RADIO_BUTTON box: 10 100 160 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use input|#i shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: flag2 callback: include_cb argument: 11 -------------------- class: FL_CHECKBUTTON type: RADIO_BUTTON box: 10 70 160 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use include|#U shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: flag3 callback: include_cb argument: 11 -------------------- class: FL_END_GROUP type: 0 box: 0 0 0 0 boxtype: FL_NO_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: ============================== create_the_forms