mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 18:08:10 +00:00
269 lines
4.7 KiB
Plaintext
269 lines
4.7 KiB
Plaintext
|
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
|