home *** CD-ROM | disk | FTP | other *** search
/ Internet Gallery / INTERGAL.bin / intergal / prgs / mojoinst / mojoinst.exe / MOJODISK / DATA.2 / plugins / mojo.def next >
Text File  |  1996-05-19  |  29KB  |  1,653 lines

  1. DEF_COMPONENTNAME
  2. A1
  3. DEF_SUPERCLASS
  4. Panel
  5. DEF_PACKAGE
  6. mojo
  7. animation
  8. DEF_ENDLIST
  9. DEF_CATEGORY
  10. Multimedia
  11. DEF_THUMBNAIL
  12. npict.bmp
  13. DEF_PANEL
  14. DEF_REQUIRES
  15. FrameChanger
  16. DEF_ENDLIST
  17. DEF_SUBCOMPONENTLIST
  18. DEF_ENDLIST
  19. DEF_DECLARATION
  20.    public class Animation extends Panel
  21. // an animation panel component. 
  22.  
  23.    String prefix;         // animation file prefix
  24.    int numberOfFrames;    // number of frames of animation
  25.    int delay;             // delay in milliseconds between frames
  26.    int startFrame;
  27.    int endFrame;
  28.  
  29.    java.awt.Image frame[];
  30.    int currentFrame;
  31.  
  32.    FrameChanger frameChanger;
  33.  
  34. DEF_ENDLIST
  35. DEF_METHOD
  36. public void changeFrames()
  37. // moves to the next frame in the animation seuqence.
  38. {
  39.    currentFrame++;
  40.    if (currentFrame > endFrame)
  41.       currentFrame = startFrame;
  42.    repaint();
  43. }
  44. DEF_ENDLIST
  45. DEF_METHOD
  46. public void paint(Graphics g)
  47. // draw the current frame
  48. {
  49.    if (frame == null) {
  50.       // frames are not loaded to load them
  51.       frame = new java.awt.Image[numberOfFrames + 1];
  52.  
  53.       currentFrame = startFrame;
  54.  
  55.       for (int i = 1; i <= numberOfFrames; i++) {
  56.          frame[i] = applet.getImage(applet.getCodeBase(),
  57.                                     prefix + Integer.toString(i)
  58.                                     + ".gif");
  59.       }
  60.  
  61.       // load the frame changer and start the animation
  62.       frameChanger = new FrameChanger(applet);
  63.  
  64.       frameChanger.setAnimationDelay(delay);
  65.       frameChanger.setAnimationComponent(this);
  66.  
  67.       // start the frame changer
  68.       frameChanger.start();
  69.    }
  70.  
  71.    g.drawImage(frame[currentFrame], 0, 0, this);
  72. }
  73. DEF_ENDLIST
  74. DEF_METHOD
  75. public void setDelay(int duration)
  76. {
  77.    delay = duration;
  78. }
  79. DEF_ENDLIST
  80. DEF_METHOD
  81. public int getDelay()
  82. {
  83.    return(delay);
  84. }
  85. DEF_ENDLIST
  86. DEF_METHOD
  87. public void setNumberFrames(int numframes)
  88. {
  89.    numberOfFrames = numframes;
  90. }
  91. DEF_ENDLIST
  92. DEF_METHOD
  93. public int getNumberFrames()
  94. {
  95.    return(numberOfFrames);
  96. }
  97. DEF_ENDLIST
  98. DEF_METHOD
  99. public void setStartFrame(int frame)
  100. {
  101.    startFrame = frame;
  102. }
  103. DEF_ENDLIST
  104. DEF_METHOD
  105. public int getStartFrame()
  106. {
  107.    return(startFrame);
  108. }
  109. DEF_ENDLIST
  110. DEF_METHOD
  111. public void setEndFrame(int frame)
  112. {
  113.    endFrame = frame;
  114. }
  115. DEF_ENDLIST
  116. DEF_METHOD
  117. public int getEndFrame()
  118. {
  119.    return(endFrame);
  120. }
  121. DEF_ENDLIST
  122. DEF_METHOD
  123. public void setPrefix(String fileprefix)
  124. {
  125.    prefix = fileprefix;
  126. }
  127. DEF_ENDLIST
  128. DEF_METHOD
  129. public String getPrefix()
  130. {
  131.    return(prefix);
  132. }
  133. DEF_ENDLIST
  134.  
  135.  
  136. DEF_PROPERTY
  137. First Animation Frame
  138. ANIMATION_FILENAME
  139. setPrefix(AVALUE);
  140. AVALUE = getPrefix();
  141.  
  142. DEF_ENDLIST
  143. DEF_PROPERTY
  144. Number of Frames
  145. int
  146. setNumberFrames(AVALUE);
  147. AVALUE = getNumberFrames();
  148. 0
  149. DEF_ENDLIST
  150. DEF_PROPERTY
  151. Start Frame
  152. int
  153. setStartFrame(AVALUE);
  154. AVALUE = getStartFrame();
  155. 0
  156. DEF_ENDLIST
  157. DEF_PROPERTY
  158. End Frame
  159. int
  160. setEndFrame(AVALUE);
  161. AVALUE = getEndFrame();
  162. 0
  163. DEF_ENDLIST
  164. DEF_PROPERTY
  165. Delay (in milliseconds)
  166. int
  167. setDelay(AVALUE);
  168. AVALUE = getDelay();
  169. 0
  170. DEF_ENDLIST
  171.  
  172.  
  173. DEF_PROPERTY
  174. Top
  175. int
  176. move(bounds().x, AVALUE);
  177. AVALUE = bounds().y;
  178. 0
  179. DEF_ENDLIST
  180. DEF_PROPERTY
  181. Left
  182. int
  183. move(AVALUE, bounds().y);
  184. AVALUE = bounds().x;
  185. 0
  186. DEF_ENDLIST
  187. DEF_PROPERTY
  188. Height
  189. int
  190. resize(bounds().width, AVALUE);
  191. AVALUE = bounds().height;
  192. 100
  193. DEF_ENDLIST
  194. DEF_PROPERTY
  195. Width
  196. int
  197. resize(AVALUE, bounds().height);
  198. AVALUE = bounds().width;
  199. 100
  200. DEF_ENDLIST
  201. DEF_PROPERTY
  202. ForegroundColor
  203. Color
  204. setForeground(AVALUE);
  205. AVALUE = getForeground();
  206. Color.lightGray
  207. DEF_ENDLIST
  208. DEF_PROPERTY
  209. BackgroundColor
  210. Color
  211. setBackground(AVALUE);
  212. AVALUE = getBackground();
  213. Color.lightGray
  214. DEF_ENDLIST
  215. DEF_PROPERTY
  216. FontName
  217. String
  218. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  219. AVALUE = getFont().getName();
  220. Courier
  221. DEF_ENDLIST
  222. DEF_PROPERTY
  223. FontStyle
  224. int
  225. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  226. AVALUE = getFont().getStyle();
  227. Font.PLAIN
  228. DEF_ENDLIST
  229. DEF_PROPERTY
  230. FontSize
  231. int
  232. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  233. AVALUE = getFont().getSize();
  234. 10
  235. DEF_ENDLIST
  236. DEF_ENDCOMPONENT
  237. DEF_COMPONENTNAME
  238. A2
  239. DEF_SUPERCLASS
  240. Panel
  241. DEF_PACKAGE
  242. mojo
  243. animation
  244. DEF_ENDLIST
  245. DEF_CATEGORY
  246. Networking
  247. DEF_THUMBNAIL
  248. npict.bmp
  249. DEF_PANEL
  250. DEF_REQUIRES
  251. FrameChanger
  252. DEF_ENDLIST
  253. DEF_SUBCOMPONENTLIST
  254. DEF_ENDLIST
  255. DEF_DECLARATION
  256.    public class Animation extends Panel
  257. // an animation panel component. 
  258.  
  259.    String prefix;         // animation file prefix
  260.    int numberOfFrames;    // number of frames of animation
  261.    int delay;             // delay in milliseconds between frames
  262.    int startFrame;
  263.    int endFrame;
  264.  
  265.    java.awt.Image frame[];
  266.    int currentFrame;
  267.  
  268.    FrameChanger frameChanger;
  269.  
  270. DEF_ENDLIST
  271. DEF_METHOD
  272. public void changeFrames()
  273. // moves to the next frame in the animation seuqence.
  274. {
  275.    currentFrame++;
  276.    if (currentFrame > endFrame)
  277.       currentFrame = startFrame;
  278.    repaint();
  279. }
  280. DEF_ENDLIST
  281. DEF_METHOD
  282. public void paint(Graphics g)
  283. // draw the current frame
  284. {
  285.    if (frame == null) {
  286.       // frames are not loaded to load them
  287.       frame = new java.awt.Image[numberOfFrames + 1];
  288.  
  289.       currentFrame = startFrame;
  290.  
  291.       for (int i = 1; i <= numberOfFrames; i++) {
  292.          frame[i] = applet.getImage(applet.getCodeBase(),
  293.                                     prefix + Integer.toString(i)
  294.                                     + ".gif");
  295.       }
  296.  
  297.       // load the frame changer and start the animation
  298.       frameChanger = new FrameChanger(applet);
  299.  
  300.       frameChanger.setAnimationDelay(delay);
  301.       frameChanger.setAnimationComponent(this);
  302.  
  303.       // start the frame changer
  304.       frameChanger.start();
  305.    }
  306.  
  307.    g.drawImage(frame[currentFrame], 0, 0, this);
  308. }
  309. DEF_ENDLIST
  310. DEF_METHOD
  311. public void setDelay(int duration)
  312. {
  313.    delay = duration;
  314. }
  315. DEF_ENDLIST
  316. DEF_METHOD
  317. public int getDelay()
  318. {
  319.    return(delay);
  320. }
  321. DEF_ENDLIST
  322. DEF_METHOD
  323. public void setNumberFrames(int numframes)
  324. {
  325.    numberOfFrames = numframes;
  326. }
  327. DEF_ENDLIST
  328. DEF_METHOD
  329. public int getNumberFrames()
  330. {
  331.    return(numberOfFrames);
  332. }
  333. DEF_ENDLIST
  334. DEF_METHOD
  335. public void setStartFrame(int frame)
  336. {
  337.    startFrame = frame;
  338. }
  339. DEF_ENDLIST
  340. DEF_METHOD
  341. public int getStartFrame()
  342. {
  343.    return(startFrame);
  344. }
  345. DEF_ENDLIST
  346. DEF_METHOD
  347. public void setEndFrame(int frame)
  348. {
  349.    endFrame = frame;
  350. }
  351. DEF_ENDLIST
  352. DEF_METHOD
  353. public int getEndFrame()
  354. {
  355.    return(endFrame);
  356. }
  357. DEF_ENDLIST
  358. DEF_METHOD
  359. public void setPrefix(String fileprefix)
  360. {
  361.    prefix = fileprefix;
  362. }
  363. DEF_ENDLIST
  364. DEF_METHOD
  365. public String getPrefix()
  366. {
  367.    return(prefix);
  368. }
  369. DEF_ENDLIST
  370.  
  371.  
  372. DEF_PROPERTY
  373. First Animation Frame
  374. ANIMATION_FILENAME
  375. setPrefix(AVALUE);
  376. AVALUE = getPrefix();
  377.  
  378. DEF_ENDLIST
  379. DEF_PROPERTY
  380. Number of Frames
  381. int
  382. setNumberFrames(AVALUE);
  383. AVALUE = getNumberFrames();
  384. 0
  385. DEF_ENDLIST
  386. DEF_PROPERTY
  387. Start Frame
  388. int
  389. setStartFrame(AVALUE);
  390. AVALUE = getStartFrame();
  391. 0
  392. DEF_ENDLIST
  393. DEF_PROPERTY
  394. End Frame
  395. int
  396. setEndFrame(AVALUE);
  397. AVALUE = getEndFrame();
  398. 0
  399. DEF_ENDLIST
  400. DEF_PROPERTY
  401. Delay (in milliseconds)
  402. int
  403. setDelay(AVALUE);
  404. AVALUE = getDelay();
  405. 0
  406. DEF_ENDLIST
  407.  
  408.  
  409. DEF_PROPERTY
  410. Top
  411. int
  412. move(bounds().x, AVALUE);
  413. AVALUE = bounds().y;
  414. 0
  415. DEF_ENDLIST
  416. DEF_PROPERTY
  417. Left
  418. int
  419. move(AVALUE, bounds().y);
  420. AVALUE = bounds().x;
  421. 0
  422. DEF_ENDLIST
  423. DEF_PROPERTY
  424. Height
  425. int
  426. resize(bounds().width, AVALUE);
  427. AVALUE = bounds().height;
  428. 100
  429. DEF_ENDLIST
  430. DEF_PROPERTY
  431. Width
  432. int
  433. resize(AVALUE, bounds().height);
  434. AVALUE = bounds().width;
  435. 100
  436. DEF_ENDLIST
  437. DEF_PROPERTY
  438. ForegroundColor
  439. Color
  440. setForeground(AVALUE);
  441. AVALUE = getForeground();
  442. Color.lightGray
  443. DEF_ENDLIST
  444. DEF_PROPERTY
  445. BackgroundColor
  446. Color
  447. setBackground(AVALUE);
  448. AVALUE = getBackground();
  449. Color.lightGray
  450. DEF_ENDLIST
  451. DEF_PROPERTY
  452. FontName
  453. String
  454. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  455. AVALUE = getFont().getName();
  456. Courier
  457. DEF_ENDLIST
  458. DEF_PROPERTY
  459. FontStyle
  460. int
  461. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  462. AVALUE = getFont().getStyle();
  463. Font.PLAIN
  464. DEF_ENDLIST
  465. DEF_PROPERTY
  466. FontSize
  467. int
  468. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  469. AVALUE = getFont().getSize();
  470. 10
  471. DEF_ENDLIST
  472. DEF_ENDCOMPONENT
  473. DEF_COMPONENTNAME
  474. A3
  475. DEF_SUPERCLASS
  476. Panel
  477. DEF_PACKAGE
  478. mojo
  479. animation
  480. DEF_ENDLIST
  481. DEF_CATEGORY
  482. Business
  483. DEF_THUMBNAIL
  484. npict.bmp
  485. DEF_PANEL
  486. DEF_REQUIRES
  487. FrameChanger
  488. DEF_ENDLIST
  489. DEF_SUBCOMPONENTLIST
  490. DEF_ENDLIST
  491. DEF_DECLARATION
  492.    public class Animation extends Panel
  493. // an animation panel component. 
  494.  
  495.    String prefix;         // animation file prefix
  496.    int numberOfFrames;    // number of frames of animation
  497.    int delay;             // delay in milliseconds between frames
  498.    int startFrame;
  499.    int endFrame;
  500.  
  501.    java.awt.Image frame[];
  502.    int currentFrame;
  503.  
  504.    FrameChanger frameChanger;
  505.  
  506. DEF_ENDLIST
  507. DEF_METHOD
  508. public void changeFrames()
  509. // moves to the next frame in the animation seuqence.
  510. {
  511.    currentFrame++;
  512.    if (currentFrame > endFrame)
  513.       currentFrame = startFrame;
  514.    repaint();
  515. }
  516. DEF_ENDLIST
  517. DEF_METHOD
  518. public void paint(Graphics g)
  519. // draw the current frame
  520. {
  521.    if (frame == null) {
  522.       // frames are not loaded to load them
  523.       frame = new java.awt.Image[numberOfFrames + 1];
  524.  
  525.       currentFrame = startFrame;
  526.  
  527.       for (int i = 1; i <= numberOfFrames; i++) {
  528.          frame[i] = applet.getImage(applet.getCodeBase(),
  529.                                     prefix + Integer.toString(i)
  530.                                     + ".gif");
  531.       }
  532.  
  533.       // load the frame changer and start the animation
  534.       frameChanger = new FrameChanger(applet);
  535.  
  536.       frameChanger.setAnimationDelay(delay);
  537.       frameChanger.setAnimationComponent(this);
  538.  
  539.       // start the frame changer
  540.       frameChanger.start();
  541.    }
  542.  
  543.    g.drawImage(frame[currentFrame], 0, 0, this);
  544. }
  545. DEF_ENDLIST
  546. DEF_METHOD
  547. public void setDelay(int duration)
  548. {
  549.    delay = duration;
  550. }
  551. DEF_ENDLIST
  552. DEF_METHOD
  553. public int getDelay()
  554. {
  555.    return(delay);
  556. }
  557. DEF_ENDLIST
  558. DEF_METHOD
  559. public void setNumberFrames(int numframes)
  560. {
  561.    numberOfFrames = numframes;
  562. }
  563. DEF_ENDLIST
  564. DEF_METHOD
  565. public int getNumberFrames()
  566. {
  567.    return(numberOfFrames);
  568. }
  569. DEF_ENDLIST
  570. DEF_METHOD
  571. public void setStartFrame(int frame)
  572. {
  573.    startFrame = frame;
  574. }
  575. DEF_ENDLIST
  576. DEF_METHOD
  577. public int getStartFrame()
  578. {
  579.    return(startFrame);
  580. }
  581. DEF_ENDLIST
  582. DEF_METHOD
  583. public void setEndFrame(int frame)
  584. {
  585.    endFrame = frame;
  586. }
  587. DEF_ENDLIST
  588. DEF_METHOD
  589. public int getEndFrame()
  590. {
  591.    return(endFrame);
  592. }
  593. DEF_ENDLIST
  594. DEF_METHOD
  595. public void setPrefix(String fileprefix)
  596. {
  597.    prefix = fileprefix;
  598. }
  599. DEF_ENDLIST
  600. DEF_METHOD
  601. public String getPrefix()
  602. {
  603.    return(prefix);
  604. }
  605. DEF_ENDLIST
  606.  
  607.  
  608. DEF_PROPERTY
  609. First Animation Frame
  610. ANIMATION_FILENAME
  611. setPrefix(AVALUE);
  612. AVALUE = getPrefix();
  613.  
  614. DEF_ENDLIST
  615. DEF_PROPERTY
  616. Number of Frames
  617. int
  618. setNumberFrames(AVALUE);
  619. AVALUE = getNumberFrames();
  620. 0
  621. DEF_ENDLIST
  622. DEF_PROPERTY
  623. Start Frame
  624. int
  625. setStartFrame(AVALUE);
  626. AVALUE = getStartFrame();
  627. 0
  628. DEF_ENDLIST
  629. DEF_PROPERTY
  630. End Frame
  631. int
  632. setEndFrame(AVALUE);
  633. AVALUE = getEndFrame();
  634. 0
  635. DEF_ENDLIST
  636. DEF_PROPERTY
  637. Delay (in milliseconds)
  638. int
  639. setDelay(AVALUE);
  640. AVALUE = getDelay();
  641. 0
  642. DEF_ENDLIST
  643.  
  644.  
  645. DEF_PROPERTY
  646. Top
  647. int
  648. move(bounds().x, AVALUE);
  649. AVALUE = bounds().y;
  650. 0
  651. DEF_ENDLIST
  652. DEF_PROPERTY
  653. Left
  654. int
  655. move(AVALUE, bounds().y);
  656. AVALUE = bounds().x;
  657. 0
  658. DEF_ENDLIST
  659. DEF_PROPERTY
  660. Height
  661. int
  662. resize(bounds().width, AVALUE);
  663. AVALUE = bounds().height;
  664. 100
  665. DEF_ENDLIST
  666. DEF_PROPERTY
  667. Width
  668. int
  669. resize(AVALUE, bounds().height);
  670. AVALUE = bounds().width;
  671. 100
  672. DEF_ENDLIST
  673. DEF_PROPERTY
  674. ForegroundColor
  675. Color
  676. setForeground(AVALUE);
  677. AVALUE = getForeground();
  678. Color.lightGray
  679. DEF_ENDLIST
  680. DEF_PROPERTY
  681. BackgroundColor
  682. Color
  683. setBackground(AVALUE);
  684. AVALUE = getBackground();
  685. Color.lightGray
  686. DEF_ENDLIST
  687. DEF_PROPERTY
  688. FontName
  689. String
  690. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  691. AVALUE = getFont().getName();
  692. Courier
  693. DEF_ENDLIST
  694. DEF_PROPERTY
  695. FontStyle
  696. int
  697. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  698. AVALUE = getFont().getStyle();
  699. Font.PLAIN
  700. DEF_ENDLIST
  701. DEF_PROPERTY
  702. FontSize
  703. int
  704. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  705. AVALUE = getFont().getSize();
  706. 10
  707. DEF_ENDLIST
  708. DEF_ENDCOMPONENT
  709. DEF_COMPONENTNAME
  710. A4
  711. DEF_SUPERCLASS
  712. Panel
  713. DEF_PACKAGE
  714. mojo
  715. animation
  716. DEF_ENDLIST
  717. DEF_CATEGORY
  718. Fun&Games
  719. DEF_THUMBNAIL
  720. npict.bmp
  721. DEF_PANEL
  722. DEF_REQUIRES
  723. FrameChanger
  724. DEF_ENDLIST
  725. DEF_SUBCOMPONENTLIST
  726. DEF_ENDLIST
  727. DEF_DECLARATION
  728.    public class Animation extends Panel
  729. // an animation panel component. 
  730.  
  731.    String prefix;         // animation file prefix
  732.    int numberOfFrames;    // number of frames of animation
  733.    int delay;             // delay in milliseconds between frames
  734.    int startFrame;
  735.    int endFrame;
  736.  
  737.    java.awt.Image frame[];
  738.    int currentFrame;
  739.  
  740.    FrameChanger frameChanger;
  741.  
  742. DEF_ENDLIST
  743. DEF_METHOD
  744. public void changeFrames()
  745. // moves to the next frame in the animation seuqence.
  746. {
  747.    currentFrame++;
  748.    if (currentFrame > endFrame)
  749.       currentFrame = startFrame;
  750.    repaint();
  751. }
  752. DEF_ENDLIST
  753. DEF_METHOD
  754. public void paint(Graphics g)
  755. // draw the current frame
  756. {
  757.    if (frame == null) {
  758.       // frames are not loaded to load them
  759.       frame = new java.awt.Image[numberOfFrames + 1];
  760.  
  761.       currentFrame = startFrame;
  762.  
  763.       for (int i = 1; i <= numberOfFrames; i++) {
  764.          frame[i] = applet.getImage(applet.getCodeBase(),
  765.                                     prefix + Integer.toString(i)
  766.                                     + ".gif");
  767.       }
  768.  
  769.       // load the frame changer and start the animation
  770.       frameChanger = new FrameChanger(applet);
  771.  
  772.       frameChanger.setAnimationDelay(delay);
  773.       frameChanger.setAnimationComponent(this);
  774.  
  775.       // start the frame changer
  776.       frameChanger.start();
  777.    }
  778.  
  779.    g.drawImage(frame[currentFrame], 0, 0, this);
  780. }
  781. DEF_ENDLIST
  782. DEF_METHOD
  783. public void setDelay(int duration)
  784. {
  785.    delay = duration;
  786. }
  787. DEF_ENDLIST
  788. DEF_METHOD
  789. public int getDelay()
  790. {
  791.    return(delay);
  792. }
  793. DEF_ENDLIST
  794. DEF_METHOD
  795. public void setNumberFrames(int numframes)
  796. {
  797.    numberOfFrames = numframes;
  798. }
  799. DEF_ENDLIST
  800. DEF_METHOD
  801. public int getNumberFrames()
  802. {
  803.    return(numberOfFrames);
  804. }
  805. DEF_ENDLIST
  806. DEF_METHOD
  807. public void setStartFrame(int frame)
  808. {
  809.    startFrame = frame;
  810. }
  811. DEF_ENDLIST
  812. DEF_METHOD
  813. public int getStartFrame()
  814. {
  815.    return(startFrame);
  816. }
  817. DEF_ENDLIST
  818. DEF_METHOD
  819. public void setEndFrame(int frame)
  820. {
  821.    endFrame = frame;
  822. }
  823. DEF_ENDLIST
  824. DEF_METHOD
  825. public int getEndFrame()
  826. {
  827.    return(endFrame);
  828. }
  829. DEF_ENDLIST
  830. DEF_METHOD
  831. public void setPrefix(String fileprefix)
  832. {
  833.    prefix = fileprefix;
  834. }
  835. DEF_ENDLIST
  836. DEF_METHOD
  837. public String getPrefix()
  838. {
  839.    return(prefix);
  840. }
  841. DEF_ENDLIST
  842.  
  843.  
  844. DEF_PROPERTY
  845. First Animation Frame
  846. ANIMATION_FILENAME
  847. setPrefix(AVALUE);
  848. AVALUE = getPrefix();
  849.  
  850. DEF_ENDLIST
  851. DEF_PROPERTY
  852. Number of Frames
  853. int
  854. setNumberFrames(AVALUE);
  855. AVALUE = getNumberFrames();
  856. 0
  857. DEF_ENDLIST
  858. DEF_PROPERTY
  859. Start Frame
  860. int
  861. setStartFrame(AVALUE);
  862. AVALUE = getStartFrame();
  863. 0
  864. DEF_ENDLIST
  865. DEF_PROPERTY
  866. End Frame
  867. int
  868. setEndFrame(AVALUE);
  869. AVALUE = getEndFrame();
  870. 0
  871. DEF_ENDLIST
  872. DEF_PROPERTY
  873. Delay (in milliseconds)
  874. int
  875. setDelay(AVALUE);
  876. AVALUE = getDelay();
  877. 0
  878. DEF_ENDLIST
  879.  
  880.  
  881. DEF_PROPERTY
  882. Top
  883. int
  884. move(bounds().x, AVALUE);
  885. AVALUE = bounds().y;
  886. 0
  887. DEF_ENDLIST
  888. DEF_PROPERTY
  889. Left
  890. int
  891. move(AVALUE, bounds().y);
  892. AVALUE = bounds().x;
  893. 0
  894. DEF_ENDLIST
  895. DEF_PROPERTY
  896. Height
  897. int
  898. resize(bounds().width, AVALUE);
  899. AVALUE = bounds().height;
  900. 100
  901. DEF_ENDLIST
  902. DEF_PROPERTY
  903. Width
  904. int
  905. resize(AVALUE, bounds().height);
  906. AVALUE = bounds().width;
  907. 100
  908. DEF_ENDLIST
  909. DEF_PROPERTY
  910. ForegroundColor
  911. Color
  912. setForeground(AVALUE);
  913. AVALUE = getForeground();
  914. Color.lightGray
  915. DEF_ENDLIST
  916. DEF_PROPERTY
  917. BackgroundColor
  918. Color
  919. setBackground(AVALUE);
  920. AVALUE = getBackground();
  921. Color.lightGray
  922. DEF_ENDLIST
  923. DEF_PROPERTY
  924. FontName
  925. String
  926. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  927. AVALUE = getFont().getName();
  928. Courier
  929. DEF_ENDLIST
  930. DEF_PROPERTY
  931. FontStyle
  932. int
  933. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  934. AVALUE = getFont().getStyle();
  935. Font.PLAIN
  936. DEF_ENDLIST
  937. DEF_PROPERTY
  938. FontSize
  939. int
  940. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  941. AVALUE = getFont().getSize();
  942. 10
  943. DEF_ENDLIST
  944. DEF_ENDCOMPONENT
  945. DEF_COMPONENTNAME
  946. A5
  947. DEF_SUPERCLASS
  948. Panel
  949. DEF_PACKAGE
  950. mojo
  951. animation
  952. DEF_ENDLIST
  953. DEF_CATEGORY
  954. Drawing
  955. DEF_THUMBNAIL
  956. npict.bmp
  957. DEF_PANEL
  958. DEF_REQUIRES
  959. FrameChanger
  960. DEF_ENDLIST
  961. DEF_SUBCOMPONENTLIST
  962. DEF_ENDLIST
  963. DEF_DECLARATION
  964.    public class Animation extends Panel
  965. // an animation panel component. 
  966.  
  967.    String prefix;         // animation file prefix
  968.    int numberOfFrames;    // number of frames of animation
  969.    int delay;             // delay in milliseconds between frames
  970.    int startFrame;
  971.    int endFrame;
  972.  
  973.    java.awt.Image frame[];
  974.    int currentFrame;
  975.  
  976.    FrameChanger frameChanger;
  977.  
  978. DEF_ENDLIST
  979. DEF_METHOD
  980. public void changeFrames()
  981. // moves to the next frame in the animation seuqence.
  982. {
  983.    currentFrame++;
  984.    if (currentFrame > endFrame)
  985.       currentFrame = startFrame;
  986.    repaint();
  987. }
  988. DEF_ENDLIST
  989. DEF_METHOD
  990. public void paint(Graphics g)
  991. // draw the current frame
  992. {
  993.    if (frame == null) {
  994.       // frames are not loaded to load them
  995.       frame = new java.awt.Image[numberOfFrames + 1];
  996.  
  997.       currentFrame = startFrame;
  998.  
  999.       for (int i = 1; i <= numberOfFrames; i++) {
  1000.          frame[i] = applet.getImage(applet.getCodeBase(),
  1001.                                     prefix + Integer.toString(i)
  1002.                                     + ".gif");
  1003.       }
  1004.  
  1005.       // load the frame changer and start the animation
  1006.       frameChanger = new FrameChanger(applet);
  1007.  
  1008.       frameChanger.setAnimationDelay(delay);
  1009.       frameChanger.setAnimationComponent(this);
  1010.  
  1011.       // start the frame changer
  1012.       frameChanger.start();
  1013.    }
  1014.  
  1015.    g.drawImage(frame[currentFrame], 0, 0, this);
  1016. }
  1017. DEF_ENDLIST
  1018. DEF_METHOD
  1019. public void setDelay(int duration)
  1020. {
  1021.    delay = duration;
  1022. }
  1023. DEF_ENDLIST
  1024. DEF_METHOD
  1025. public int getDelay()
  1026. {
  1027.    return(delay);
  1028. }
  1029. DEF_ENDLIST
  1030. DEF_METHOD
  1031. public void setNumberFrames(int numframes)
  1032. {
  1033.    numberOfFrames = numframes;
  1034. }
  1035. DEF_ENDLIST
  1036. DEF_METHOD
  1037. public int getNumberFrames()
  1038. {
  1039.    return(numberOfFrames);
  1040. }
  1041. DEF_ENDLIST
  1042. DEF_METHOD
  1043. public void setStartFrame(int frame)
  1044. {
  1045.    startFrame = frame;
  1046. }
  1047. DEF_ENDLIST
  1048. DEF_METHOD
  1049. public int getStartFrame()
  1050. {
  1051.    return(startFrame);
  1052. }
  1053. DEF_ENDLIST
  1054. DEF_METHOD
  1055. public void setEndFrame(int frame)
  1056. {
  1057.    endFrame = frame;
  1058. }
  1059. DEF_ENDLIST
  1060. DEF_METHOD
  1061. public int getEndFrame()
  1062. {
  1063.    return(endFrame);
  1064. }
  1065. DEF_ENDLIST
  1066. DEF_METHOD
  1067. public void setPrefix(String fileprefix)
  1068. {
  1069.    prefix = fileprefix;
  1070. }
  1071. DEF_ENDLIST
  1072. DEF_METHOD
  1073. public String getPrefix()
  1074. {
  1075.    return(prefix);
  1076. }
  1077. DEF_ENDLIST
  1078.  
  1079.  
  1080. DEF_PROPERTY
  1081. First Animation Frame
  1082. ANIMATION_FILENAME
  1083. setPrefix(AVALUE);
  1084. AVALUE = getPrefix();
  1085.  
  1086. DEF_ENDLIST
  1087. DEF_PROPERTY
  1088. Number of Frames
  1089. int
  1090. setNumberFrames(AVALUE);
  1091. AVALUE = getNumberFrames();
  1092. 0
  1093. DEF_ENDLIST
  1094. DEF_PROPERTY
  1095. Start Frame
  1096. int
  1097. setStartFrame(AVALUE);
  1098. AVALUE = getStartFrame();
  1099. 0
  1100. DEF_ENDLIST
  1101. DEF_PROPERTY
  1102. End Frame
  1103. int
  1104. setEndFrame(AVALUE);
  1105. AVALUE = getEndFrame();
  1106. 0
  1107. DEF_ENDLIST
  1108. DEF_PROPERTY
  1109. Delay (in milliseconds)
  1110. int
  1111. setDelay(AVALUE);
  1112. AVALUE = getDelay();
  1113. 0
  1114. DEF_ENDLIST
  1115.  
  1116.  
  1117. DEF_PROPERTY
  1118. Top
  1119. int
  1120. move(bounds().x, AVALUE);
  1121. AVALUE = bounds().y;
  1122. 0
  1123. DEF_ENDLIST
  1124. DEF_PROPERTY
  1125. Left
  1126. int
  1127. move(AVALUE, bounds().y);
  1128. AVALUE = bounds().x;
  1129. 0
  1130. DEF_ENDLIST
  1131. DEF_PROPERTY
  1132. Height
  1133. int
  1134. resize(bounds().width, AVALUE);
  1135. AVALUE = bounds().height;
  1136. 100
  1137. DEF_ENDLIST
  1138. DEF_PROPERTY
  1139. Width
  1140. int
  1141. resize(AVALUE, bounds().height);
  1142. AVALUE = bounds().width;
  1143. 100
  1144. DEF_ENDLIST
  1145. DEF_PROPERTY
  1146. ForegroundColor
  1147. Color
  1148. setForeground(AVALUE);
  1149. AVALUE = getForeground();
  1150. Color.lightGray
  1151. DEF_ENDLIST
  1152. DEF_PROPERTY
  1153. BackgroundColor
  1154. Color
  1155. setBackground(AVALUE);
  1156. AVALUE = getBackground();
  1157. Color.lightGray
  1158. DEF_ENDLIST
  1159. DEF_PROPERTY
  1160. FontName
  1161. String
  1162. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  1163. AVALUE = getFont().getName();
  1164. Courier
  1165. DEF_ENDLIST
  1166. DEF_PROPERTY
  1167. FontStyle
  1168. int
  1169. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  1170. AVALUE = getFont().getStyle();
  1171. Font.PLAIN
  1172. DEF_ENDLIST
  1173. DEF_PROPERTY
  1174. FontSize
  1175. int
  1176. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  1177. AVALUE = getFont().getSize();
  1178. 10
  1179. DEF_ENDLIST
  1180. DEF_ENDCOMPONENT
  1181. DEF_COMPONENTNAME
  1182. A7
  1183. DEF_SUPERCLASS
  1184. Panel
  1185. DEF_PACKAGE
  1186. mojo
  1187. animation
  1188. DEF_ENDLIST
  1189. DEF_CATEGORY
  1190. Database
  1191. DEF_THUMBNAIL
  1192. npict.bmp
  1193. DEF_PANEL
  1194. DEF_REQUIRES
  1195. FrameChanger
  1196. DEF_ENDLIST
  1197. DEF_SUBCOMPONENTLIST
  1198. DEF_ENDLIST
  1199. DEF_DECLARATION
  1200.    public class Animation extends Panel
  1201. // an animation panel component. 
  1202.  
  1203.    String prefix;         // animation file prefix
  1204.    int numberOfFrames;    // number of frames of animation
  1205.    int delay;             // delay in milliseconds between frames
  1206.    int startFrame;
  1207.    int endFrame;
  1208.  
  1209.    java.awt.Image frame[];
  1210.    int currentFrame;
  1211.  
  1212.    FrameChanger frameChanger;
  1213.  
  1214. DEF_ENDLIST
  1215. DEF_METHOD
  1216. public void changeFrames()
  1217. // moves to the next frame in the animation seuqence.
  1218. {
  1219.    currentFrame++;
  1220.    if (currentFrame > endFrame)
  1221.       currentFrame = startFrame;
  1222.    repaint();
  1223. }
  1224. DEF_ENDLIST
  1225. DEF_METHOD
  1226. public void paint(Graphics g)
  1227. // draw the current frame
  1228. {
  1229.    if (frame == null) {
  1230.       // frames are not loaded to load them
  1231.       frame = new java.awt.Image[numberOfFrames + 1];
  1232.  
  1233.       currentFrame = startFrame;
  1234.  
  1235.       for (int i = 1; i <= numberOfFrames; i++) {
  1236.          frame[i] = applet.getImage(applet.getCodeBase(),
  1237.                                     prefix + Integer.toString(i)
  1238.                                     + ".gif");
  1239.       }
  1240.  
  1241.       // load the frame changer and start the animation
  1242.       frameChanger = new FrameChanger(applet);
  1243.  
  1244.       frameChanger.setAnimationDelay(delay);
  1245.       frameChanger.setAnimationComponent(this);
  1246.  
  1247.       // start the frame changer
  1248.       frameChanger.start();
  1249.    }
  1250.  
  1251.    g.drawImage(frame[currentFrame], 0, 0, this);
  1252. }
  1253. DEF_ENDLIST
  1254. DEF_METHOD
  1255. public void setDelay(int duration)
  1256. {
  1257.    delay = duration;
  1258. }
  1259. DEF_ENDLIST
  1260. DEF_METHOD
  1261. public int getDelay()
  1262. {
  1263.    return(delay);
  1264. }
  1265. DEF_ENDLIST
  1266. DEF_METHOD
  1267. public void setNumberFrames(int numframes)
  1268. {
  1269.    numberOfFrames = numframes;
  1270. }
  1271. DEF_ENDLIST
  1272. DEF_METHOD
  1273. public int getNumberFrames()
  1274. {
  1275.    return(numberOfFrames);
  1276. }
  1277. DEF_ENDLIST
  1278. DEF_METHOD
  1279. public void setStartFrame(int frame)
  1280. {
  1281.    startFrame = frame;
  1282. }
  1283. DEF_ENDLIST
  1284. DEF_METHOD
  1285. public int getStartFrame()
  1286. {
  1287.    return(startFrame);
  1288. }
  1289. DEF_ENDLIST
  1290. DEF_METHOD
  1291. public void setEndFrame(int frame)
  1292. {
  1293.    endFrame = frame;
  1294. }
  1295. DEF_ENDLIST
  1296. DEF_METHOD
  1297. public int getEndFrame()
  1298. {
  1299.    return(endFrame);
  1300. }
  1301. DEF_ENDLIST
  1302. DEF_METHOD
  1303. public void setPrefix(String fileprefix)
  1304. {
  1305.    prefix = fileprefix;
  1306. }
  1307. DEF_ENDLIST
  1308. DEF_METHOD
  1309. public String getPrefix()
  1310. {
  1311.    return(prefix);
  1312. }
  1313. DEF_ENDLIST
  1314.  
  1315.  
  1316. DEF_PROPERTY
  1317. First Animation Frame
  1318. ANIMATION_FILENAME
  1319. setPrefix(AVALUE);
  1320. AVALUE = getPrefix();
  1321.  
  1322. DEF_ENDLIST
  1323. DEF_PROPERTY
  1324. Number of Frames
  1325. int
  1326. setNumberFrames(AVALUE);
  1327. AVALUE = getNumberFrames();
  1328. 0
  1329. DEF_ENDLIST
  1330. DEF_PROPERTY
  1331. Start Frame
  1332. int
  1333. setStartFrame(AVALUE);
  1334. AVALUE = getStartFrame();
  1335. 0
  1336. DEF_ENDLIST
  1337. DEF_PROPERTY
  1338. End Frame
  1339. int
  1340. setEndFrame(AVALUE);
  1341. AVALUE = getEndFrame();
  1342. 0
  1343. DEF_ENDLIST
  1344. DEF_PROPERTY
  1345. Delay (in milliseconds)
  1346. int
  1347. setDelay(AVALUE);
  1348. AVALUE = getDelay();
  1349. 0
  1350. DEF_ENDLIST
  1351.  
  1352.  
  1353. DEF_PROPERTY
  1354. Top
  1355. int
  1356. move(bounds().x, AVALUE);
  1357. AVALUE = bounds().y;
  1358. 0
  1359. DEF_ENDLIST
  1360. DEF_PROPERTY
  1361. Left
  1362. int
  1363. move(AVALUE, bounds().y);
  1364. AVALUE = bounds().x;
  1365. 0
  1366. DEF_ENDLIST
  1367. DEF_PROPERTY
  1368. Height
  1369. int
  1370. resize(bounds().width, AVALUE);
  1371. AVALUE = bounds().height;
  1372. 100
  1373. DEF_ENDLIST
  1374. DEF_PROPERTY
  1375. Width
  1376. int
  1377. resize(AVALUE, bounds().height);
  1378. AVALUE = bounds().width;
  1379. 100
  1380. DEF_ENDLIST
  1381. DEF_PROPERTY
  1382. ForegroundColor
  1383. Color
  1384. setForeground(AVALUE);
  1385. AVALUE = getForeground();
  1386. Color.lightGray
  1387. DEF_ENDLIST
  1388. DEF_PROPERTY
  1389. BackgroundColor
  1390. Color
  1391. setBackground(AVALUE);
  1392. AVALUE = getBackground();
  1393. Color.lightGray
  1394. DEF_ENDLIST
  1395. DEF_PROPERTY
  1396. FontName
  1397. String
  1398. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  1399. AVALUE = getFont().getName();
  1400. Courier
  1401. DEF_ENDLIST
  1402. DEF_PROPERTY
  1403. FontStyle
  1404. int
  1405. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  1406. AVALUE = getFont().getStyle();
  1407. Font.PLAIN
  1408. DEF_ENDLIST
  1409. DEF_PROPERTY
  1410. FontSize
  1411. int
  1412. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  1413. AVALUE = getFont().getSize();
  1414. 10
  1415. DEF_ENDLIST
  1416. DEF_ENDCOMPONENT
  1417. DEF_COMPONENTNAME
  1418. A10
  1419. DEF_SUPERCLASS
  1420. Panel
  1421. DEF_PACKAGE
  1422. mojo
  1423. animation
  1424. DEF_ENDLIST
  1425. DEF_CATEGORY
  1426. User-defined
  1427. DEF_THUMBNAIL
  1428. npict.bmp
  1429. DEF_PANEL
  1430. DEF_REQUIRES
  1431. FrameChanger
  1432. DEF_ENDLIST
  1433. DEF_SUBCOMPONENTLIST
  1434. DEF_ENDLIST
  1435. DEF_DECLARATION
  1436.    public class Animation extends Panel
  1437. // an animation panel component. 
  1438.  
  1439.    String prefix;         // animation file prefix
  1440.    int numberOfFrames;    // number of frames of animation
  1441.    int delay;             // delay in milliseconds between frames
  1442.    int startFrame;
  1443.    int endFrame;
  1444.  
  1445.    java.awt.Image frame[];
  1446.    int currentFrame;
  1447.  
  1448.    FrameChanger frameChanger;
  1449.  
  1450. DEF_ENDLIST
  1451. DEF_METHOD
  1452. public void changeFrames()
  1453. // moves to the next frame in the animation seuqence.
  1454. {
  1455.    currentFrame++;
  1456.    if (currentFrame > endFrame)
  1457.       currentFrame = startFrame;
  1458.    repaint();
  1459. }
  1460. DEF_ENDLIST
  1461. DEF_METHOD
  1462. public void paint(Graphics g)
  1463. // draw the current frame
  1464. {
  1465.    if (frame == null) {
  1466.       // frames are not loaded to load them
  1467.       frame = new java.awt.Image[numberOfFrames + 1];
  1468.  
  1469.       currentFrame = startFrame;
  1470.  
  1471.       for (int i = 1; i <= numberOfFrames; i++) {
  1472.          frame[i] = applet.getImage(applet.getCodeBase(),
  1473.                                     prefix + Integer.toString(i)
  1474.                                     + ".gif");
  1475.       }
  1476.  
  1477.       // load the frame changer and start the animation
  1478.       frameChanger = new FrameChanger(applet);
  1479.  
  1480.       frameChanger.setAnimationDelay(delay);
  1481.       frameChanger.setAnimationComponent(this);
  1482.  
  1483.       // start the frame changer
  1484.       frameChanger.start();
  1485.    }
  1486.  
  1487.    g.drawImage(frame[currentFrame], 0, 0, this);
  1488. }
  1489. DEF_ENDLIST
  1490. DEF_METHOD
  1491. public void setDelay(int duration)
  1492. {
  1493.    delay = duration;
  1494. }
  1495. DEF_ENDLIST
  1496. DEF_METHOD
  1497. public int getDelay()
  1498. {
  1499.    return(delay);
  1500. }
  1501. DEF_ENDLIST
  1502. DEF_METHOD
  1503. public void setNumberFrames(int numframes)
  1504. {
  1505.    numberOfFrames = numframes;
  1506. }
  1507. DEF_ENDLIST
  1508. DEF_METHOD
  1509. public int getNumberFrames()
  1510. {
  1511.    return(numberOfFrames);
  1512. }
  1513. DEF_ENDLIST
  1514. DEF_METHOD
  1515. public void setStartFrame(int frame)
  1516. {
  1517.    startFrame = frame;
  1518. }
  1519. DEF_ENDLIST
  1520. DEF_METHOD
  1521. public int getStartFrame()
  1522. {
  1523.    return(startFrame);
  1524. }
  1525. DEF_ENDLIST
  1526. DEF_METHOD
  1527. public void setEndFrame(int frame)
  1528. {
  1529.    endFrame = frame;
  1530. }
  1531. DEF_ENDLIST
  1532. DEF_METHOD
  1533. public int getEndFrame()
  1534. {
  1535.    return(endFrame);
  1536. }
  1537. DEF_ENDLIST
  1538. DEF_METHOD
  1539. public void setPrefix(String fileprefix)
  1540. {
  1541.    prefix = fileprefix;
  1542. }
  1543. DEF_ENDLIST
  1544. DEF_METHOD
  1545. public String getPrefix()
  1546. {
  1547.    return(prefix);
  1548. }
  1549. DEF_ENDLIST
  1550.  
  1551.  
  1552. DEF_PROPERTY
  1553. First Animation Frame
  1554. ANIMATION_FILENAME
  1555. setPrefix(AVALUE);
  1556. AVALUE = getPrefix();
  1557.  
  1558. DEF_ENDLIST
  1559. DEF_PROPERTY
  1560. Number of Frames
  1561. int
  1562. setNumberFrames(AVALUE);
  1563. AVALUE = getNumberFrames();
  1564. 0
  1565. DEF_ENDLIST
  1566. DEF_PROPERTY
  1567. Start Frame
  1568. int
  1569. setStartFrame(AVALUE);
  1570. AVALUE = getStartFrame();
  1571. 0
  1572. DEF_ENDLIST
  1573. DEF_PROPERTY
  1574. End Frame
  1575. int
  1576. setEndFrame(AVALUE);
  1577. AVALUE = getEndFrame();
  1578. 0
  1579. DEF_ENDLIST
  1580. DEF_PROPERTY
  1581. Delay (in milliseconds)
  1582. int
  1583. setDelay(AVALUE);
  1584. AVALUE = getDelay();
  1585. 0
  1586. DEF_ENDLIST
  1587.  
  1588.  
  1589. DEF_PROPERTY
  1590. Top
  1591. int
  1592. move(bounds().x, AVALUE);
  1593. AVALUE = bounds().y;
  1594. 0
  1595. DEF_ENDLIST
  1596. DEF_PROPERTY
  1597. Left
  1598. int
  1599. move(AVALUE, bounds().y);
  1600. AVALUE = bounds().x;
  1601. 0
  1602. DEF_ENDLIST
  1603. DEF_PROPERTY
  1604. Height
  1605. int
  1606. resize(bounds().width, AVALUE);
  1607. AVALUE = bounds().height;
  1608. 100
  1609. DEF_ENDLIST
  1610. DEF_PROPERTY
  1611. Width
  1612. int
  1613. resize(AVALUE, bounds().height);
  1614. AVALUE = bounds().width;
  1615. 100
  1616. DEF_ENDLIST
  1617. DEF_PROPERTY
  1618. ForegroundColor
  1619. Color
  1620. setForeground(AVALUE);
  1621. AVALUE = getForeground();
  1622. Color.lightGray
  1623. DEF_ENDLIST
  1624. DEF_PROPERTY
  1625. BackgroundColor
  1626. Color
  1627. setBackground(AVALUE);
  1628. AVALUE = getBackground();
  1629. Color.lightGray
  1630. DEF_ENDLIST
  1631. DEF_PROPERTY
  1632. FontName
  1633. String
  1634. setFont(new Font(AVALUE, getFont().getStyle(), getFont().getSize()));
  1635. AVALUE = getFont().getName();
  1636. Courier
  1637. DEF_ENDLIST
  1638. DEF_PROPERTY
  1639. FontStyle
  1640. int
  1641. setFont(new Font(getFont().getName(), AVALUE, getFont().getSize()));
  1642. AVALUE = getFont().getStyle();
  1643. Font.PLAIN
  1644. DEF_ENDLIST
  1645. DEF_PROPERTY
  1646. FontSize
  1647. int
  1648. setFont(new Font(getFont().getName(), getFont().getStyle(), AVALUE));
  1649. AVALUE = getFont().getSize();
  1650. 10
  1651. DEF_ENDLIST
  1652. DEF_ENDCOMPONENT
  1653.