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.