public class WorkspaceSwitcher
extends java.awt.event.MouseAdapter
| Constructor and Description |
|---|
WorkspaceSwitcher(JextFrame parent) |
| Modifier and Type | Method and Description |
|---|---|
void |
mouseClicked(java.awt.event.MouseEvent me) |
public WorkspaceSwitcher(JextFrame parent)
Copyright ? 2002 Romain Guy.