]> git.lyx.org Git - lyx.git/blob - forms/lyx.fd
the Timeout patch
[lyx.git] / forms / lyx.fd
1 Magic: 13000
2
3 Internal Form Definition File
4     (do not change)
5
6 Number of forms: 3
7 Unit of measure: FL_COORD_PIXEL
8
9 =============== FORM ===============
10 Name: form_title
11 Width: 420
12 Height: 290
13 Number of Objects: 2
14
15 --------------------
16 class: FL_BOX
17 type: UP_BOX
18 box: 0 0 420 290
19 boxtype: FL_UP_BOX
20 colors: FL_BLACK FL_TOP_BCOL
21 alignment: FL_ALIGN_CENTER
22 style: FL_NORMAL_STYLE
23 size: FL_DEFAULT_SIZE
24 lcol: FL_BLACK
25 label: 
26 shortcut: 
27 resize: FL_RESIZE_ALL
28 gravity: FL_NoGravity FL_NoGravity
29 name: 
30 callback: 
31 argument: 
32
33 --------------------
34 class: FL_TIMER
35 type: HIDDEN_TIMER
36 box: 110 170 190 60
37 boxtype: FL_DOWN_BOX
38 colors: FL_COL1 FL_RED
39 alignment: FL_ALIGN_CENTER
40 style: FL_NORMAL_STYLE
41 size: FL_DEFAULT_SIZE
42 lcol: FL_BLACK
43 label: 
44 shortcut: 
45 resize: FL_RESIZE_ALL
46 gravity: FL_NoGravity FL_NoGravity
47 name: timer_title
48 callback: TimerCB
49 argument: 0
50
51 =============== FORM ===============
52 Name: form_figure
53 Width: 340
54 Height: 150
55 Number of Objects: 10
56
57 --------------------
58 class: FL_BOX
59 type: UP_BOX
60 box: 0 0 340 150
61 boxtype: FL_UP_BOX
62 colors: FL_COL1 FL_COL1
63 alignment: FL_ALIGN_CENTER
64 style: FL_NORMAL_STYLE
65 size: FL_DEFAULT_SIZE
66 lcol: FL_BLACK
67 label: 
68 shortcut: 
69 resize: FL_RESIZE_ALL
70 gravity: FL_NoGravity FL_NoGravity
71 name: 
72 callback: 
73 argument: 
74
75 --------------------
76 class: FL_FRAME
77 type: ENGRAVED_FRAME
78 box: 10 20 320 80
79 boxtype: FL_NO_BOX
80 colors: FL_COL1 FL_COL1
81 alignment: FL_ALIGN_CENTER
82 style: FL_NORMAL_STYLE
83 size: FL_DEFAULT_SIZE
84 lcol: FL_BLACK
85 label: 
86 shortcut: 
87 resize: FL_RESIZE_ALL
88 gravity: FL_NoGravity FL_NoGravity
89 name: 
90 callback: 
91 argument: 
92
93 --------------------
94 class: FL_BEGIN_GROUP
95 type: 0
96 box: 0 0 0 0
97 boxtype: FL_NO_BOX
98 colors: FL_COL1 FL_MCOL
99 alignment: FL_ALIGN_CENTER
100 style: FL_NORMAL_STYLE
101 size: FL_DEFAULT_SIZE
102 lcol: FL_BLACK
103 label: 
104 shortcut: 
105 resize: FL_RESIZE_ALL
106 gravity: FL_NoGravity FL_NoGravity
107 name: group_radio_fugre
108 callback: 
109 argument: 
110
111 --------------------
112 class: FL_CHECKBUTTON
113 type: RADIO_BUTTON
114 box: 10 30 320 30
115 boxtype: FL_NO_BOX
116 colors: FL_COL1 FL_YELLOW
117 alignment: FL_ALIGN_CENTER
118 style: FL_NORMAL_STYLE
119 size: FL_NORMAL_SIZE
120 lcol: FL_BLACK
121 label: Encapsulated Postscript (*.eps, *.ps)|#E
122 shortcut: 
123 resize: FL_RESIZE_ALL
124 gravity: FL_NoGravity FL_NoGravity
125 name: radio_postscript
126 callback: 
127 argument: 
128
129 --------------------
130 class: FL_CHECKBUTTON
131 type: RADIO_BUTTON
132 box: 10 60 320 30
133 boxtype: FL_NO_BOX
134 colors: FL_COL1 FL_YELLOW
135 alignment: FL_ALIGN_CENTER
136 style: FL_NORMAL_STYLE
137 size: FL_NORMAL_SIZE
138 lcol: FL_BLACK
139 label: Inlined EPS (*.eps, *.ps)|#I
140 shortcut: 
141 resize: FL_RESIZE_ALL
142 gravity: FL_NoGravity FL_NoGravity
143 name: radio_inline
144 callback: 
145 argument: 
146
147 --------------------
148 class: FL_END_GROUP
149 type: 0
150 box: 0 0 0 0
151 boxtype: FL_NO_BOX
152 colors: FL_COL1 FL_MCOL
153 alignment: FL_ALIGN_CENTER
154 style: FL_NORMAL_STYLE
155 size: FL_DEFAULT_SIZE
156 lcol: FL_BLACK
157 label: 
158 shortcut: 
159 resize: FL_RESIZE_ALL
160 gravity: FL_NoGravity FL_NoGravity
161 name: 
162 callback: 
163 argument: 
164
165 --------------------
166 class: FL_BUTTON
167 type: RETURN_BUTTON
168 box: 10 110 100 30
169 boxtype: FL_UP_BOX
170 colors: FL_COL1 FL_COL1
171 alignment: FL_ALIGN_CENTER
172 style: FL_NORMAL_STYLE
173 size: FL_NORMAL_SIZE
174 lcol: FL_BLACK
175 label: OK
176 shortcut: ^M
177 resize: FL_RESIZE_ALL
178 gravity: FL_NoGravity FL_NoGravity
179 name: 
180 callback: FigureOKCB
181 argument: 0
182
183 --------------------
184 class: FL_BUTTON
185 type: NORMAL_BUTTON
186 box: 120 110 100 30
187 boxtype: FL_UP_BOX
188 colors: FL_COL1 FL_COL1
189 alignment: FL_ALIGN_CENTER
190 style: FL_NORMAL_STYLE
191 size: FL_NORMAL_SIZE
192 lcol: FL_BLACK
193 label: Apply|#A
194 shortcut: 
195 resize: FL_RESIZE_ALL
196 gravity: FL_NoGravity FL_NoGravity
197 name: 
198 callback: FigureApplyCB
199 argument: 0
200
201 --------------------
202 class: FL_BUTTON
203 type: NORMAL_BUTTON
204 box: 230 110 100 30
205 boxtype: FL_UP_BOX
206 colors: FL_COL1 FL_COL1
207 alignment: FL_ALIGN_CENTER
208 style: FL_NORMAL_STYLE
209 size: FL_NORMAL_SIZE
210 lcol: FL_BLACK
211 label: Cancel|^[
212 shortcut: 
213 resize: FL_RESIZE_ALL
214 gravity: FL_NoGravity FL_NoGravity
215 name: 
216 callback: FigureCancelCB
217 argument: 0
218
219 --------------------
220 class: FL_TEXT
221 type: NORMAL_TEXT
222 box: 20 10 50 20
223 boxtype: FL_FLAT_BOX
224 colors: FL_COL1 FL_MCOL
225 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
226 style: FL_BOLD_STYLE
227 size: FL_NORMAL_SIZE
228 lcol: FL_BLACK
229 label: Type
230 shortcut: 
231 resize: FL_RESIZE_ALL
232 gravity: FL_NoGravity FL_NoGravity
233 name: 
234 callback: 
235 argument: 
236
237 =============== FORM ===============
238 Name: form_external
239 Width: 560
240 Height: 310
241 Number of Objects: 11
242
243 --------------------
244 class: FL_BOX
245 type: UP_BOX
246 box: 0 0 560 310
247 boxtype: FL_UP_BOX
248 colors: FL_COL1 FL_COL1
249 alignment: FL_ALIGN_CENTER
250 style: FL_NORMAL_STYLE
251 size: FL_DEFAULT_SIZE
252 lcol: FL_BLACK
253 label: 
254 shortcut: 
255 resize: FL_RESIZE_ALL
256 gravity: FL_NoGravity FL_NoGravity
257 name: 
258 callback: 
259 argument: 
260
261 --------------------
262 class: FL_CHOICE
263 type: NORMAL_CHOICE
264 box: 130 10 300 30
265 boxtype: FL_FRAME_BOX
266 colors: FL_COL1 FL_BLACK
267 alignment: FL_ALIGN_LEFT
268 style: FL_NORMAL_STYLE
269 size: FL_NORMAL_SIZE
270 lcol: FL_BLACK
271 label: Template|#t
272 shortcut: 
273 resize: FL_RESIZE_ALL
274 gravity: FL_NorthWest FL_NorthEast
275 name: templatechoice
276 callback: ExternalTemplateCB
277 argument: 0
278
279 --------------------
280 class: FL_INPUT
281 type: NORMAL_INPUT
282 box: 130 190 190 30
283 boxtype: FL_DOWN_BOX
284 colors: FL_COL1 FL_MCOL
285 alignment: FL_ALIGN_LEFT
286 style: FL_NORMAL_STYLE
287 size: FL_NORMAL_SIZE
288 lcol: FL_BLACK
289 label: File|#F
290 shortcut: 
291 resize: FL_RESIZE_ALL
292 gravity: FL_SouthWest FL_SouthEast
293 name: filename
294 callback: 
295 argument: 
296
297 --------------------
298 class: FL_BUTTON
299 type: NORMAL_BUTTON
300 box: 330 190 100 30
301 boxtype: FL_UP_BOX
302 colors: FL_COL1 FL_COL1
303 alignment: FL_ALIGN_CENTER
304 style: FL_NORMAL_STYLE
305 size: FL_NORMAL_SIZE
306 lcol: FL_BLACK
307 label: Browse...|#B
308 shortcut: 
309 resize: FL_RESIZE_ALL
310 gravity: FL_SouthEast FL_SouthEast
311 name: filenamebrowse
312 callback: ExternalBrowseCB
313 argument: 0
314
315 --------------------
316 class: FL_INPUT
317 type: NORMAL_INPUT
318 box: 130 230 300 30
319 boxtype: FL_DOWN_BOX
320 colors: FL_COL1 FL_MCOL
321 alignment: FL_ALIGN_LEFT
322 style: FL_NORMAL_STYLE
323 size: FL_NORMAL_SIZE
324 lcol: FL_BLACK
325 label: Parameters|#P
326 shortcut: 
327 resize: FL_RESIZE_ALL
328 gravity: FL_SouthWest FL_SouthEast
329 name: parameters
330 callback: 
331 argument: 
332
333 --------------------
334 class: FL_BUTTON
335 type: NORMAL_BUTTON
336 box: 435 50 110 30
337 boxtype: FL_UP_BOX
338 colors: FL_COL1 FL_BLACK
339 alignment: FL_ALIGN_CENTER
340 style: FL_NORMAL_STYLE
341 size: FL_NORMAL_SIZE
342 lcol: FL_BLACK
343 label: Edit file|#E
344 shortcut: 
345 resize: FL_RESIZE_ALL
346 gravity: FL_NorthEast FL_NorthEast
347 name: edit
348 callback: ExternalEditCB
349 argument: 0
350
351 --------------------
352 class: FL_BUTTON
353 type: NORMAL_BUTTON
354 box: 435 90 110 30
355 boxtype: FL_UP_BOX
356 colors: FL_COL1 FL_BLACK
357 alignment: FL_ALIGN_CENTER
358 style: FL_NORMAL_STYLE
359 size: FL_NORMAL_SIZE
360 lcol: FL_BLACK
361 label: View result|#V
362 shortcut: 
363 resize: FL_RESIZE_ALL
364 gravity: FL_NorthEast FL_NorthEast
365 name: view
366 callback: ExternalViewCB
367 argument: 0
368
369 --------------------
370 class: FL_BUTTON
371 type: NORMAL_BUTTON
372 box: 435 130 110 30
373 boxtype: FL_UP_BOX
374 colors: FL_COL1 FL_BLACK
375 alignment: FL_ALIGN_CENTER
376 style: FL_NORMAL_STYLE
377 size: FL_NORMAL_SIZE
378 lcol: FL_BLACK
379 label: Update result|#U
380 shortcut: 
381 resize: FL_RESIZE_ALL
382 gravity: FL_NorthEast FL_NorthEast
383 name: update
384 callback: ExternalUpdateCB
385 argument: 0
386
387 --------------------
388 class: FL_BUTTON
389 type: RETURN_BUTTON
390 box: 315 270 110 30
391 boxtype: FL_UP_BOX
392 colors: FL_COL1 FL_BLACK
393 alignment: FL_ALIGN_CENTER
394 style: FL_NORMAL_STYLE
395 size: FL_NORMAL_SIZE
396 lcol: FL_BLACK
397 label: OK
398 shortcut: ^M
399 resize: FL_RESIZE_ALL
400 gravity: FL_SouthEast FL_SouthEast
401 name: ok
402 callback: ExternalOKCB
403 argument: 0
404
405 --------------------
406 class: FL_BUTTON
407 type: NORMAL_BUTTON
408 box: 435 270 110 30
409 boxtype: FL_UP_BOX
410 colors: FL_COL1 FL_COL1
411 alignment: FL_ALIGN_CENTER
412 style: FL_NORMAL_STYLE
413 size: FL_NORMAL_SIZE
414 lcol: FL_BLACK
415 label: Cancel|#C^[
416 shortcut: 
417 resize: FL_RESIZE_ALL
418 gravity: FL_SouthEast FL_SouthEast
419 name: cancel
420 callback: ExternalCancelCB
421 argument: 0
422
423 --------------------
424 class: FL_BROWSER
425 type: NORMAL_BROWSER
426 box: 130 50 300 130
427 boxtype: FL_DOWN_BOX
428 colors: FL_COL1 FL_YELLOW
429 alignment: FL_ALIGN_TOP
430 style: FL_NORMAL_STYLE
431 size: FL_DEFAULT_SIZE
432 lcol: FL_BLACK
433 label: 
434 shortcut: 
435 resize: FL_RESIZE_ALL
436 gravity: FL_NorthWest FL_SouthEast
437 name: helptext
438 callback: 
439 argument: 
440
441 ==============================
442 create_the_forms