home *** CD-ROM | disk | FTP | other *** search
/ Dream 52 / Amiga_Dream_52.iso / Linux / Divers / lyx-0.13.2.tar.gz / lyx-0.13.2.tar / lyx-0.13.2 / forms / math_forms.fd < prev    next >
Text File  |  1998-04-23  |  17KB  |  931 lines
  1. Magic: 13000
  2.  
  3. Internal Form Definition File
  4.     (do not change)
  5.  
  6. Number of forms: 5
  7. Unit of measure: FL_COORD_PIXEL
  8. SnapGrid: 2
  9.  
  10. =============== FORM ===============
  11. Name: panel
  12. Width: 290
  13. Height: 172
  14. Number of Objects: 16
  15.  
  16. --------------------
  17. class: FL_BOX
  18. type: UP_BOX
  19. box: 0 0 290 172
  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_BUTTON
  36. type: RETURN_BUTTON
  37. box: 80 14 80 30
  38. boxtype: FL_UP_BOX
  39. colors: FL_COL1 FL_COL1
  40. alignment: FL_ALIGN_CENTER
  41. style: FL_NORMAL_STYLE
  42. size: FL_NORMAL_SIZE
  43. lcol: FL_BLACK
  44. label: Close 
  45. shortcut: ^M
  46. resize: FL_RESIZE_ALL
  47. gravity: FL_NoGravity FL_NoGravity
  48. name: 
  49. callback: button_cb
  50. argument: 100
  51.  
  52. --------------------
  53. class: FL_BROWSER
  54. type: SELECT_BROWSER
  55. box: 180 40 94 110
  56. boxtype: FL_DOWN_BOX
  57. colors: FL_COL1 FL_YELLOW
  58. alignment: FL_ALIGN_TOP
  59. style: FL_NORMAL_STYLE
  60. size: FL_DEFAULT_SIZE
  61. lcol: FL_BLACK
  62. label: Functions
  63. shortcut: 
  64. resize: FL_RESIZE_ALL
  65. gravity: FL_NoGravity FL_NoGravity
  66. name: func_browse
  67. callback: button_cb
  68. argument: MM_FUNC
  69.   h_pref: FL_OFF
  70.  
  71. --------------------
  72. class: FL_BUTTON
  73. type: NORMAL_BUTTON
  74. box: 10 90 50 30
  75. boxtype: FL_UP_BOX
  76. colors: FL_COL1 FL_COL1
  77. alignment: FL_ALIGN_CENTER
  78. style: 15
  79. size: FL_NORMAL_SIZE
  80. lcol: FL_BLACK
  81. label: Greek
  82. shortcut: 
  83. resize: FL_RESIZE_ALL
  84. gravity: FL_NoGravity FL_NoGravity
  85. name: greek
  86. callback: button_cb
  87. argument: MM_GREEK
  88.  
  89. --------------------
  90. class: FL_BUTTON
  91. type: NORMAL_BUTTON
  92. box: 10 120 50 30
  93. boxtype: FL_UP_BOX
  94. colors: FL_COL1 FL_COL1
  95. alignment: FL_ALIGN_CENTER
  96. style: 15
  97. size: FL_NORMAL_SIZE
  98. lcol: FL_BLACK
  99. label: ¡ █
  100. shortcut: 
  101. resize: FL_RESIZE_ALL
  102. gravity: FL_NoGravity FL_NoGravity
  103. name: arrow
  104. callback: button_cb
  105. argument: MM_ARROW
  106.  
  107. --------------------
  108. class: FL_BUTTON
  109. type: NORMAL_BUTTON
  110. box: 60 90 50 30
  111. boxtype: FL_UP_BOX
  112. colors: FL_COL1 FL_COL1
  113. alignment: FL_ALIGN_CENTER
  114. style: 15
  115. size: 0
  116. lcol: FL_BLACK
  117. label: ▒ ┤
  118. shortcut: 
  119. resize: FL_RESIZE_ALL
  120. gravity: FL_NoGravity FL_NoGravity
  121. name: boperator
  122. callback: button_cb
  123. argument: MM_BOP
  124.  
  125. --------------------
  126. class: FL_BUTTON
  127. type: NORMAL_BUTTON
  128. box: 110 90 50 30
  129. boxtype: FL_UP_BOX
  130. colors: FL_COL1 FL_COL1
  131. alignment: FL_ALIGN_CENTER
  132. style: 15
  133. size: 0
  134. lcol: FL_BLACK
  135. label: ú @
  136. shortcut: 
  137. resize: FL_RESIZE_ALL
  138. gravity: FL_NoGravity FL_NoGravity
  139. name: brelats
  140. callback: button_cb
  141. argument: MM_BRELATS
  142.  
  143. --------------------
  144. class: FL_BUTTON
  145. type: NORMAL_BUTTON
  146. box: 60 120 50 30
  147. boxtype: FL_UP_BOX
  148. colors: FL_COL1 FL_COL1
  149. alignment: FL_ALIGN_CENTER
  150. style: 15
  151. size: 0
  152. lcol: FL_BLACK
  153. label: S  ≥
  154. shortcut: 
  155. resize: FL_RESIZE_ALL
  156. gravity: FL_NoGravity FL_NoGravity
  157. name: varsize
  158. callback: button_cb
  159. argument: MM_VARSIZE
  160.  
  161. --------------------
  162. class: FL_BUTTON
  163. type: NORMAL_BUTTON
  164. box: 110 120 50 30
  165. boxtype: FL_UP_BOX
  166. colors: FL_COL1 FL_COL1
  167. alignment: FL_ALIGN_CENTER
  168. style: FL_TIMESITALIC_STYLE
  169. size: FL_NORMAL_SIZE
  170. lcol: FL_BLACK
  171. label: Misc
  172. shortcut: 
  173. resize: FL_RESIZE_ALL
  174. gravity: FL_NoGravity FL_NoGravity
  175. name: misc
  176. callback: button_cb
  177. argument: MM_MISC
  178.  
  179. --------------------
  180. class: FL_PIXMAPBUTTON
  181. type: NORMAL_BUTTON
  182. box: 130 50 30 30
  183. boxtype: FL_UP_BOX
  184. colors: FL_MCOL FL_BLUE
  185. alignment: FL_ALIGN_BOTTOM
  186. style: FL_NORMAL_STYLE
  187. size: FL_DEFAULT_SIZE
  188. lcol: FL_BLACK
  189. label: 
  190. shortcut: 
  191. resize: FL_RESIZE_ALL
  192. gravity: FL_NoGravity FL_NoGravity
  193. name: equation
  194. callback: button_cb
  195. argument: MM_EQU
  196.  
  197. --------------------
  198. class: FL_PIXMAPBUTTON
  199. type: NORMAL_BUTTON
  200. box: 10 15 30 30
  201. boxtype: FL_UP_BOX
  202. colors: FL_MCOL FL_BLUE
  203. alignment: FL_ALIGN_BOTTOM
  204. style: FL_NORMAL_STYLE
  205. size: FL_DEFAULT_SIZE
  206. lcol: FL_BLACK
  207. label: 
  208. shortcut: 
  209. resize: FL_RESIZE_ALL
  210. gravity: FL_NoGravity FL_NoGravity
  211. name: sqrt
  212. callback: button_cb
  213. argument: MM_SQRT
  214.  
  215. --------------------
  216. class: FL_PIXMAPBUTTON
  217. type: NORMAL_BUTTON
  218. box: 40 15 30 30
  219. boxtype: FL_UP_BOX
  220. colors: FL_MCOL FL_BLUE
  221. alignment: FL_ALIGN_BOTTOM
  222. style: FL_NORMAL_STYLE
  223. size: FL_DEFAULT_SIZE
  224. lcol: FL_COL1
  225. label: 
  226. shortcut: 
  227. resize: FL_RESIZE_ALL
  228. gravity: FL_NoGravity FL_NoGravity
  229. name: frac
  230. callback: button_cb
  231. argument: MM_FRAC
  232.  
  233. --------------------
  234. class: FL_PIXMAPBUTTON
  235. type: NORMAL_BUTTON
  236. box: 10 50 30 30
  237. boxtype: FL_UP_BOX
  238. colors: FL_MCOL FL_BLUE
  239. alignment: FL_ALIGN_BOTTOM
  240. style: FL_NORMAL_STYLE
  241. size: FL_DEFAULT_SIZE
  242. lcol: FL_BLACK
  243. label: 
  244. shortcut: 
  245. resize: FL_RESIZE_ALL
  246. gravity: FL_NoGravity FL_NoGravity
  247. name: delim
  248. callback: button_cb
  249. argument: MM_DELIM
  250.  
  251. --------------------
  252. class: FL_PIXMAPBUTTON
  253. type: NORMAL_BUTTON
  254. box: 100 50 30 30
  255. boxtype: FL_UP_BOX
  256. colors: FL_MCOL FL_BLUE
  257. alignment: FL_ALIGN_BOTTOM
  258. style: FL_NORMAL_STYLE
  259. size: FL_DEFAULT_SIZE
  260. lcol: FL_BLACK
  261. label: 
  262. shortcut: 
  263. resize: FL_RESIZE_ALL
  264. gravity: FL_NoGravity FL_NoGravity
  265. name: matrix
  266. callback: button_cb
  267. argument: MM_MATRIX
  268.  
  269. --------------------
  270. class: FL_PIXMAPBUTTON
  271. type: NORMAL_BUTTON
  272. box: 40 50 30 30
  273. boxtype: FL_UP_BOX
  274. colors: FL_MCOL FL_BLUE
  275. alignment: FL_ALIGN_BOTTOM
  276. style: FL_NORMAL_STYLE
  277. size: FL_DEFAULT_SIZE
  278. lcol: FL_BLACK
  279. label: 
  280. shortcut: 
  281. resize: FL_RESIZE_ALL
  282. gravity: FL_NoGravity FL_NoGravity
  283. name: deco
  284. callback: button_cb
  285. argument: MM_DECO
  286.  
  287. --------------------
  288. class: FL_PIXMAPBUTTON
  289. type: NORMAL_BUTTON
  290. box: 70 50 30 30
  291. boxtype: FL_UP_BOX
  292. colors: FL_MCOL FL_BLUE
  293. alignment: FL_ALIGN_BOTTOM
  294. style: FL_NORMAL_STYLE
  295. size: FL_DEFAULT_SIZE
  296. lcol: FL_BLACK
  297. label: 
  298. shortcut: 
  299. resize: FL_RESIZE_ALL
  300. gravity: FL_NoGravity FL_NoGravity
  301. name: space
  302. callback: button_cb
  303. argument: MM_SPACE
  304.  
  305. =============== FORM ===============
  306. Name: delim
  307. Width: 250
  308. Height: 260
  309. Number of Objects: 10
  310.  
  311. --------------------
  312. class: FL_BOX
  313. type: UP_BOX
  314. box: 0 0 250 260
  315. boxtype: FL_UP_BOX
  316. colors: FL_COL1 FL_COL1
  317. alignment: FL_ALIGN_CENTER
  318. style: FL_NORMAL_STYLE
  319. size: FL_DEFAULT_SIZE
  320. lcol: FL_BLACK
  321. label: 
  322. shortcut: 
  323. resize: FL_RESIZE_ALL
  324. gravity: FL_NoGravity FL_NoGravity
  325. name: 
  326. callback: 
  327. argument: 
  328.  
  329. --------------------
  330. class: FL_BUTTON
  331. type: PUSH_BUTTON
  332. box: 40 70 170 140
  333. boxtype: FL_UP_BOX
  334. colors: FL_COL1 FL_COL1
  335. alignment: FL_ALIGN_CENTER
  336. style: FL_NORMAL_STYLE
  337. size: FL_DEFAULT_SIZE
  338. lcol: FL_BLUE
  339. label: 
  340. shortcut: 
  341. resize: FL_RESIZE_ALL
  342. gravity: FL_NoGravity FL_NoGravity
  343. name: menu
  344. callback: delim_cb
  345. argument: 2
  346.  
  347. --------------------
  348. class: FL_BEGIN_GROUP
  349. type: 0
  350. box: 0 0 0 0
  351. boxtype: FL_NO_BOX
  352. colors: FL_COL1 FL_MCOL
  353. alignment: FL_ALIGN_CENTER
  354. style: FL_NORMAL_STYLE
  355. size: FL_DEFAULT_SIZE
  356. lcol: FL_BLACK
  357. label: 
  358. shortcut: 
  359. resize: FL_RESIZE_ALL
  360. gravity: FL_NoGravity FL_NoGravity
  361. name: lado
  362. callback: 
  363. argument: 
  364.  
  365. --------------------
  366. class: FL_CHECKBUTTON
  367. type: RADIO_BUTTON
  368. box: 40 40 80 30
  369. boxtype: FL_NO_BOX
  370. colors: FL_COL1 FL_YELLOW
  371. alignment: FL_ALIGN_CENTER
  372. style: FL_NORMAL_STYLE
  373. size: FL_NORMAL_SIZE
  374. lcol: FL_BLACK
  375. label: Right|#R
  376. shortcut: 
  377. resize: FL_RESIZE_ALL
  378. gravity: FL_NoGravity FL_NoGravity
  379. name: right
  380. callback: delim_cb
  381. argument: 4
  382.  
  383. --------------------
  384. class: FL_CHECKBUTTON
  385. type: RADIO_BUTTON
  386. box: 40 10 80 30
  387. boxtype: FL_NO_BOX
  388. colors: FL_COL1 FL_YELLOW
  389. alignment: FL_ALIGN_CENTER
  390. style: FL_NORMAL_STYLE
  391. size: FL_NORMAL_SIZE
  392. lcol: FL_BLACK
  393. label: Left|#L
  394. shortcut: 
  395. resize: FL_RESIZE_ALL
  396. gravity: FL_NoGravity FL_NoGravity
  397. name: left
  398. callback: delim_cb
  399. argument: 3
  400.  
  401. --------------------
  402. class: FL_END_GROUP
  403. type: 0
  404. box: 0 0 0 0
  405. boxtype: FL_NO_BOX
  406. colors: FL_COL1 FL_MCOL
  407. alignment: FL_ALIGN_CENTER
  408. style: FL_NORMAL_STYLE
  409. size: FL_DEFAULT_SIZE
  410. lcol: FL_BLACK
  411. label: 
  412. shortcut: 
  413. resize: FL_RESIZE_ALL
  414. gravity: FL_NoGravity FL_NoGravity
  415. name: 
  416. callback: 
  417. argument: 
  418.  
  419. --------------------
  420. class: FL_BUTTON
  421. type: NORMAL_BUTTON
  422. box: 170 220 70 30
  423. boxtype: FL_UP_BOX
  424. colors: FL_COL1 FL_COL1
  425. alignment: FL_ALIGN_CENTER
  426. style: FL_NORMAL_STYLE
  427. size: FL_NORMAL_SIZE
  428. lcol: FL_BLACK
  429. label: Cancel|^[
  430. shortcut: 
  431. resize: FL_RESIZE_ALL
  432. gravity: FL_NoGravity FL_NoGravity
  433. name: 
  434. callback: delim_cb
  435. argument: MM_CLOSE
  436.  
  437. --------------------
  438. class: FL_PIXMAPBUTTON
  439. type: NORMAL_BUTTON
  440. box: 130 20 50 40
  441. boxtype: FL_UP_BOX
  442. colors: FL_COL1 FL_COL1
  443. alignment: FL_ALIGN_BOTTOM
  444. style: FL_NORMAL_STYLE
  445. size: FL_DEFAULT_SIZE
  446. lcol: FL_BLACK
  447. label: 
  448. shortcut: 
  449. resize: FL_RESIZE_ALL
  450. gravity: FL_NoGravity FL_NoGravity
  451. name: pix
  452. callback: delim_cb
  453. argument: MM_APPLY
  454.  
  455. --------------------
  456. class: FL_BUTTON
  457. type: NORMAL_BUTTON
  458. box: 90 220 70 30
  459. boxtype: FL_UP_BOX
  460. colors: FL_COL1 FL_COL1
  461. alignment: FL_ALIGN_CENTER
  462. style: FL_NORMAL_STYLE
  463. size: FL_NORMAL_SIZE
  464. lcol: FL_BLACK
  465. label: Apply|#A
  466. shortcut: 
  467. resize: FL_RESIZE_ALL
  468. gravity: FL_NoGravity FL_NoGravity
  469. name: 
  470. callback: delim_cb
  471. argument: MM_APPLY
  472.  
  473. --------------------
  474. class: FL_BUTTON
  475. type: RETURN_BUTTON
  476. box: 10 220 70 30
  477. boxtype: FL_UP_BOX
  478. colors: FL_COL1 FL_COL1
  479. alignment: FL_ALIGN_CENTER
  480. style: FL_NORMAL_STYLE
  481. size: FL_NORMAL_SIZE
  482. lcol: FL_BLACK
  483. label: OK
  484. shortcut: ^M
  485. resize: FL_RESIZE_ALL
  486. gravity: FL_NoGravity FL_NoGravity
  487. name: 
  488. callback: delim_cb
  489. argument: MM_OK
  490.  
  491. =============== FORM ===============
  492. Name: matrix
  493. Width: 280
  494. Height: 170
  495. Number of Objects: 8
  496.  
  497. --------------------
  498. class: FL_BOX
  499. type: UP_BOX
  500. box: 0 0 280 170
  501. boxtype: FL_UP_BOX
  502. colors: FL_COL1 FL_COL1
  503. alignment: FL_ALIGN_CENTER
  504. style: FL_NORMAL_STYLE
  505. size: FL_DEFAULT_SIZE
  506. lcol: FL_BLACK
  507. label: 
  508. shortcut: 
  509. resize: FL_RESIZE_ALL
  510. gravity: FL_NoGravity FL_NoGravity
  511. name: 
  512. callback: 
  513. argument: 
  514.  
  515. --------------------
  516. class: FL_BUTTON
  517. type: RETURN_BUTTON
  518. box: 10 130 80 30
  519. boxtype: FL_UP_BOX
  520. colors: FL_COL1 FL_COL1
  521. alignment: FL_ALIGN_CENTER
  522. style: FL_NORMAL_STYLE
  523. size: FL_NORMAL_SIZE
  524. lcol: FL_BLACK
  525. label: OK  
  526. shortcut: ^M
  527. resize: FL_RESIZE_ALL
  528. gravity: FL_NoGravity FL_NoGravity
  529. name: 
  530. callback: matrix_cb
  531. argument: MM_OK
  532.  
  533. --------------------
  534. class: FL_BUTTON
  535. type: NORMAL_BUTTON
  536. box: 190 130 80 30
  537. boxtype: FL_UP_BOX
  538. colors: FL_COL1 FL_COL1
  539. alignment: FL_ALIGN_CENTER
  540. style: FL_NORMAL_STYLE
  541. size: FL_NORMAL_SIZE
  542. lcol: FL_BLACK
  543. label: Cancel|^[
  544. shortcut: 
  545. resize: FL_RESIZE_ALL
  546. gravity: FL_NoGravity FL_NoGravity
  547. name: 
  548. callback: matrix_cb
  549. argument: MM_CLOSE
  550.  
  551. --------------------
  552. class: FL_VALSLIDER
  553. type: HOR_NICE_SLIDER
  554. box: 10 30 160 30
  555. boxtype: FL_DOWN_BOX
  556. colors: FL_COL1 FL_COL1
  557. alignment: FL_ALIGN_TOP
  558. style: FL_NORMAL_STYLE
  559. size: FL_NORMAL_SIZE
  560. lcol: FL_BLACK
  561. label: Rows
  562. shortcut: 
  563. resize: FL_RESIZE_ALL
  564. gravity: FL_NoGravity FL_NoGravity
  565. name: rows
  566. callback: matrix_cb
  567. argument: -1
  568.     bounds: 1 20
  569.     precision: 0
  570.     return: FL_RETURN_END_CHANGED
  571.  
  572. --------------------
  573. class: FL_VALSLIDER
  574. type: HOR_NICE_SLIDER
  575. box: 10 90 160 30
  576. boxtype: FL_DOWN_BOX
  577. colors: FL_COL1 FL_COL1
  578. alignment: FL_ALIGN_TOP
  579. style: FL_NORMAL_STYLE
  580. size: FL_NORMAL_SIZE
  581. lcol: FL_BLACK
  582. label: Columns 
  583. shortcut: 
  584. resize: FL_RESIZE_ALL
  585. gravity: FL_NoGravity FL_NoGravity
  586. name: columns
  587. callback: matrix_cb
  588. argument: 2
  589.     bounds: 1 20
  590.     precision: 0
  591.     return: FL_RETURN_END_CHANGED
  592.  
  593. --------------------
  594. class: FL_CHOICE
  595. type: NORMAL_CHOICE
  596. box: 180 30 90 30
  597. boxtype: FL_FRAME_BOX
  598. colors: FL_COL1 FL_BLACK
  599. alignment: FL_ALIGN_TOP
  600. style: FL_NORMAL_STYLE
  601. size: FL_NORMAL_SIZE
  602. lcol: FL_BLACK
  603. label: Vertical align|#V
  604. shortcut: 
  605. resize: FL_RESIZE_ALL
  606. gravity: FL_NoGravity FL_NoGravity
  607. name: valign
  608. callback: matrix_cb
  609. argument: -1
  610.  
  611. --------------------
  612. class: FL_INPUT
  613. type: NORMAL_INPUT
  614. box: 180 90 90 30
  615. boxtype: FL_DOWN_BOX
  616. colors: FL_COL1 FL_MCOL
  617. alignment: FL_ALIGN_TOP
  618. style: FL_NORMAL_STYLE
  619. size: FL_NORMAL_SIZE
  620. lcol: FL_BLACK
  621. label: Horizontal align|#H
  622. shortcut: 
  623. resize: FL_RESIZE_ALL
  624. gravity: FL_NoGravity FL_NoGravity
  625. name: halign
  626. callback: matrix_cb
  627. argument: 2
  628.  
  629. --------------------
  630. class: FL_BUTTON
  631. type: NORMAL_BUTTON
  632. box: 100 130 80 30
  633. boxtype: FL_UP_BOX
  634. colors: FL_COL1 FL_COL1
  635. alignment: FL_ALIGN_CENTER
  636. style: FL_NORMAL_STYLE
  637. size: FL_NORMAL_SIZE
  638. lcol: FL_BLACK
  639. label: Apply|#A
  640. shortcut: 
  641. resize: FL_RESIZE_ALL
  642. gravity: FL_NoGravity FL_NoGravity
  643. name: 
  644. callback: matrix_cb
  645. argument: MM_APPLY
  646.  
  647. =============== FORM ===============
  648. Name: deco
  649. Width: 160
  650. Height: 150
  651. Number of Objects: 3
  652.  
  653. --------------------
  654. class: FL_BOX
  655. type: UP_BOX
  656. box: 0 0 160 150
  657. boxtype: FL_UP_BOX
  658. colors: FL_COL1 FL_COL1
  659. alignment: FL_ALIGN_CENTER
  660. style: FL_NORMAL_STYLE
  661. size: FL_DEFAULT_SIZE
  662. lcol: FL_BLACK
  663. label: 
  664. shortcut: 
  665. resize: FL_RESIZE_ALL
  666. gravity: FL_NoGravity FL_NoGravity
  667. name: 
  668. callback: 
  669. argument: 
  670.  
  671. --------------------
  672. class: FL_BUTTON
  673. type: PUSH_BUTTON
  674. box: 10 10 140 90
  675. boxtype: FL_UP_BOX
  676. colors: FL_COL1 FL_COL1
  677. alignment: FL_ALIGN_CENTER
  678. style: FL_NORMAL_STYLE
  679. size: FL_DEFAULT_SIZE
  680. lcol: FL_BLUE
  681. label: 
  682. shortcut: 
  683. resize: FL_RESIZE_ALL
  684. gravity: FL_NoGravity FL_NoGravity
  685. name: menu
  686. callback: deco_cb
  687. argument: MM_APPLY
  688.  
  689. --------------------
  690. class: FL_BUTTON
  691. type: RETURN_BUTTON
  692. box: 30 110 100 30
  693. boxtype: FL_UP_BOX
  694. colors: FL_COL1 FL_COL1
  695. alignment: FL_ALIGN_CENTER
  696. style: FL_NORMAL_STYLE
  697. size: FL_NORMAL_SIZE
  698. lcol: FL_BLACK
  699. label: Close
  700. shortcut: ^M
  701. resize: FL_RESIZE_ALL
  702. gravity: FL_NoGravity FL_NoGravity
  703. name: 
  704. callback: deco_cb
  705. argument: MM_CLOSE
  706.  
  707. =============== FORM ===============
  708. Name: space
  709. Width: 280
  710. Height: 150
  711. Number of Objects: 12
  712.  
  713. --------------------
  714. class: FL_BOX
  715. type: UP_BOX
  716. box: 0 0 280 150
  717. boxtype: FL_UP_BOX
  718. colors: FL_COL1 FL_COL1
  719. alignment: FL_ALIGN_CENTER
  720. style: FL_NORMAL_STYLE
  721. size: FL_DEFAULT_SIZE
  722. lcol: FL_BLACK
  723. label: 
  724. shortcut: 
  725. resize: FL_RESIZE_ALL
  726. gravity: FL_NoGravity FL_NoGravity
  727. name: 
  728. callback: 
  729. argument: 
  730.  
  731. --------------------
  732. class: FL_BUTTON
  733. type: RETURN_BUTTON
  734. box: 10 110 80 30
  735. boxtype: FL_UP_BOX
  736. colors: FL_COL1 FL_COL1
  737. alignment: FL_ALIGN_CENTER
  738. style: FL_NORMAL_STYLE
  739. size: FL_NORMAL_SIZE
  740. lcol: FL_BLACK
  741. label: OK 
  742. shortcut: ^M
  743. resize: FL_RESIZE_ALL
  744. gravity: FL_NoGravity FL_NoGravity
  745. name: 
  746. callback: space_cb
  747. argument: MM_OK
  748.  
  749. --------------------
  750. class: FL_BUTTON
  751. type: NORMAL_BUTTON
  752. box: 190 110 80 30
  753. boxtype: FL_UP_BOX
  754. colors: FL_COL1 FL_COL1
  755. alignment: FL_ALIGN_CENTER
  756. style: FL_NORMAL_STYLE
  757. size: FL_NORMAL_SIZE
  758. lcol: FL_BLACK
  759. label: Cancel|^[
  760. shortcut: 
  761. resize: FL_RESIZE_ALL
  762. gravity: FL_NoGravity FL_NoGravity
  763. name: 
  764. callback: space_cb
  765. argument: MM_CLOSE
  766.  
  767. --------------------
  768. class: FL_BUTTON
  769. type: NORMAL_BUTTON
  770. box: 100 110 80 30
  771. boxtype: FL_UP_BOX
  772. colors: FL_COL1 FL_COL1
  773. alignment: FL_ALIGN_CENTER
  774. style: FL_NORMAL_STYLE
  775. size: FL_NORMAL_SIZE
  776. lcol: FL_BLACK
  777. label: Apply|#A
  778. shortcut: 
  779. resize: FL_RESIZE_ALL
  780. gravity: FL_NoGravity FL_NoGravity
  781. name: 
  782. callback: space_cb
  783. argument: MM_APPLY
  784.  
  785. --------------------
  786. class: FL_BEGIN_GROUP
  787. type: 0
  788. box: 0 0 0 0
  789. boxtype: FL_NO_BOX
  790. colors: FL_COL1 FL_MCOL
  791. alignment: FL_ALIGN_CENTER
  792. style: FL_NORMAL_STYLE
  793. size: FL_DEFAULT_SIZE
  794. lcol: FL_BLACK
  795. label: 
  796. shortcut: 
  797. resize: FL_RESIZE_ALL
  798. gravity: FL_NoGravity FL_NoGravity
  799. name: spaces
  800. callback: 
  801. argument: 
  802.  
  803. --------------------
  804. class: FL_CHECKBUTTON
  805. type: RADIO_BUTTON
  806. box: 20 10 120 30
  807. boxtype: FL_NO_BOX
  808. colors: FL_MCOL FL_YELLOW
  809. alignment: FL_ALIGN_CENTER
  810. style: FL_NORMAL_STYLE
  811. size: FL_NORMAL_SIZE
  812. lcol: FL_BLACK
  813. label: Thin|#T
  814. shortcut: 
  815. resize: FL_RESIZE_ALL
  816. gravity: FL_NoGravity FL_NoGravity
  817. name: 
  818. callback: space_cb
  819. argument: 1
  820.  
  821. --------------------
  822. class: FL_CHECKBUTTON
  823. type: RADIO_BUTTON
  824. box: 20 40 120 30
  825. boxtype: FL_NO_BOX
  826. colors: FL_MCOL FL_YELLOW
  827. alignment: FL_ALIGN_CENTER
  828. style: FL_NORMAL_STYLE
  829. size: FL_NORMAL_SIZE
  830. lcol: FL_BLACK
  831. label: Medium|#M
  832. shortcut: 
  833. resize: FL_RESIZE_ALL
  834. gravity: FL_NoGravity FL_NoGravity
  835. name: 
  836. callback: space_cb
  837. argument: 2
  838.  
  839. --------------------
  840. class: FL_CHECKBUTTON
  841. type: RADIO_BUTTON
  842. box: 20 70 120 30
  843. boxtype: FL_NO_BOX
  844. colors: FL_MCOL FL_YELLOW
  845. alignment: FL_ALIGN_CENTER
  846. style: FL_NORMAL_STYLE
  847. size: FL_NORMAL_SIZE
  848. lcol: FL_BLACK
  849. label: Thick|#H
  850. shortcut: 
  851. resize: FL_RESIZE_ALL
  852. gravity: FL_NoGravity FL_NoGravity
  853. name: 
  854. callback: space_cb
  855. argument: 3
  856.  
  857. --------------------
  858. class: FL_CHECKBUTTON
  859. type: RADIO_BUTTON
  860. box: 140 10 120 30
  861. boxtype: FL_NO_BOX
  862. colors: FL_MCOL FL_YELLOW
  863. alignment: FL_ALIGN_CENTER
  864. style: FL_NORMAL_STYLE
  865. size: FL_NORMAL_SIZE
  866. lcol: FL_BLACK
  867. label: Negative|#N
  868. shortcut: 
  869. resize: FL_RESIZE_ALL
  870. gravity: FL_NoGravity FL_NoGravity
  871. name: 
  872. callback: space_cb
  873. argument: 0
  874.  
  875. --------------------
  876. class: FL_CHECKBUTTON
  877. type: RADIO_BUTTON
  878. box: 140 40 120 30
  879. boxtype: FL_NO_BOX
  880. colors: FL_MCOL FL_YELLOW
  881. alignment: FL_ALIGN_CENTER
  882. style: FL_NORMAL_STYLE
  883. size: FL_NORMAL_SIZE
  884. lcol: FL_BLACK
  885. label: Quadratin|#Q
  886. shortcut: 
  887. resize: FL_RESIZE_ALL
  888. gravity: FL_NoGravity FL_NoGravity
  889. name: 
  890. callback: space_cb
  891. argument: 4
  892.  
  893. --------------------
  894. class: FL_CHECKBUTTON
  895. type: RADIO_BUTTON
  896. box: 140 70 120 30
  897. boxtype: FL_NO_BOX
  898. colors: FL_MCOL FL_YELLOW
  899. alignment: FL_ALIGN_CENTER
  900. style: FL_NORMAL_STYLE
  901. size: FL_NORMAL_SIZE
  902. lcol: FL_BLACK
  903. label: 2Quadratin|#2
  904. shortcut: 
  905. resize: FL_RESIZE_ALL
  906. gravity: FL_NoGravity FL_NoGravity
  907. name: 
  908. callback: space_cb
  909. argument: 5
  910.  
  911. --------------------
  912. class: FL_END_GROUP
  913. type: 0
  914. box: 0 0 0 0
  915. boxtype: FL_NO_BOX
  916. colors: FL_COL1 FL_MCOL
  917. alignment: FL_ALIGN_CENTER
  918. style: FL_NORMAL_STYLE
  919. size: FL_DEFAULT_SIZE
  920. lcol: FL_BLACK
  921. label: 
  922. shortcut: 
  923. resize: FL_RESIZE_ALL
  924. gravity: FL_NoGravity FL_NoGravity
  925. name: 
  926. callback: 
  927. argument: 
  928.  
  929. ==============================
  930. create_the_forms
  931.