public class BasicJideTabbedPaneUI.DefaultMouseMotionHandler
extends java.awt.event.MouseMotionAdapter
| Constructor and Description |
|---|
DefaultMouseMotionHandler() |
| Modifier and Type | Method and Description |
|---|---|
void |
mouseMoved(java.awt.event.MouseEvent e) |