42 |
import java.awt.peer.ComponentPeer; |
import java.awt.peer.ComponentPeer; |
43 |
import java.awt.event.AdjustmentListener; |
import java.awt.event.AdjustmentListener; |
44 |
import java.awt.event.AdjustmentEvent; |
import java.awt.event.AdjustmentEvent; |
45 |
|
import java.io.Serializable; |
46 |
|
import javax.accessibility.Accessible; |
47 |
|
|
48 |
/** |
/** |
49 |
* This class implements a scrollbar widget. |
* This class implements a scrollbar widget. |
51 |
* @author Aaron M. Renn (arenn@urbanophile.com) |
* @author Aaron M. Renn (arenn@urbanophile.com) |
52 |
* @author Tom Tromey <tromey@cygnus.com> |
* @author Tom Tromey <tromey@cygnus.com> |
53 |
*/ |
*/ |
54 |
public class Scrollbar extends Component implements Adjustable, |
public class Scrollbar extends Component implements Accessible, |
55 |
java.io.Serializable |
Adjustable, |
56 |
|
Serializable |
57 |
{ |
{ |
58 |
|
|
59 |
// FIXME: Serialization readObject/writeObject |
// FIXME: Serialization readObject/writeObject |