|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcdox.edit.BorderRotator
This class rotates the static stroke `dashed' in the class Element. It should not be instantiated directly, see the Element class how you rotate the border.
Element.startRotating(java.awt.Component, cdox.edit.Element)
,
Element.stopRotating()
Constructor Summary | |
BorderRotator(java.awt.Component c,
Cover cov)
Creates a new BorderRotator. |
Method Summary | |
void |
actionPerformed(java.awt.event.ActionEvent e)
Rotates the border one time. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public BorderRotator(java.awt.Component c, Cover cov)
c
- the component whose repaint() method will be called.cov
- the cover to notify it has been changed.Method Detail |
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
e
- an ActionEvent
value.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |