| products/sources/formale Sprachen/C/Lyx/forms/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Fun_Def_Base.thy Sprache: Isabelle
|
Untersuchungsergebnis.fd Download desLex {Lex[64] HTML[88] Ada[110]}zum Wurzelverzeichnis wechseln Magic: 13000 Internal Form Definition File (do not change) Number of forms: 1 Unit of measure: FL_COORD_PIXEL =============== FORM =============== Name: form_bullet Width: 370 Height: 390 Number of Objects: 24 -------------------- class: FL_BOX type: UP_BOX box: 0 0 370 390 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_PIXMAPBUTTON type: NORMAL_BUTTON box: 90 105 260 180 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: replace_this_with_a_BMTable callback: argument: file: psnfss2.xpm fullpath: 1 -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 95 20 255 70 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_FRAME type: ENGRAVED_FRAME box: 0 340 370 50 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_CHOICE type: NORMAL_CHOICE box: 15 45 65 30 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Size|#z shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_bullet_size callback: ChoiceBulletSizeCB argument: 0 -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 25 350 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: button_ok callback: BulletOKCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 135 350 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: Apply|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_apply callback: BulletApplyCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 245 350 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: button_cancel callback: BulletCancelCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 80 300 275 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_FIXED_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: LaTeX|#L shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_bullet_latex callback: InputBulletLaTeXCB argument: 0 -------------------- 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: radio_bullet_depth callback: argument: -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 105 35 55 40 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_LARGE_SIZE lcol: FL_BLACK label: 1|#1 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_bullet_depth_1 callback: BulletDepthCB argument: 0 value: 1 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 165 35 55 40 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_LARGE_SIZE lcol: FL_BLACK label: 2|#2 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_bullet_depth_2 callback: BulletDepthCB argument: 1 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 225 35 55 40 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_LARGE_SIZE lcol: FL_BLACK label: 3|#3 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_bullet_depth_3 callback: BulletDepthCB argument: 2 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 285 35 55 40 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_LARGE_SIZE lcol: FL_BLACK label: 4|#4 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_bullet_depth_4 callback: BulletDepthCB argument: 3 -------------------- 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: -------------------- class: FL_TEXT type: NORMAL_TEXT box: 105 10 85 20 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Bullet Depth shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: 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: radio_bullet_panel callback: argument: -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 105 65 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: Standard|#S shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_standard callback: BulletPanelCB argument: 0 value: 1 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 135 65 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: Maths|#M shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_maths callback: BulletPanelCB argument: 1 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 195 65 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: Ding 2|#i shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_ding2 callback: BulletPanelCB argument: 3 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 225 65 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: Ding 3|#n shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_ding3 callback: BulletPanelCB argument: 4 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 255 65 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: Ding 4|#g shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_ding4 callback: BulletPanelCB argument: 5 -------------------- class: FL_BUTTON type: RADIO_BUTTON box: 15 165 65 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: Ding 1|#D shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: radio_bullet_panel_ding1 callback: BulletPanelCB argument: 2 -------------------- 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 [ zur Elbe Produktseite wechseln0.168Quellennavigators ] |