|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ browser overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.browser
Class VFSBrowser.PluginsMenuButton.MouseHandler

java.lang.Objectjava.awt.event.MouseAdapter
org.gjt.sp.jedit.browser.VFSBrowser.PluginsMenuButton.MouseHandler
- All Implemented Interfaces:
- java.util.EventListener, java.awt.event.MouseListener
- Enclosing class:
- VFSBrowser.PluginsMenuButton
- class VFSBrowser.PluginsMenuButton.MouseHandler
- extends java.awt.event.MouseAdapter
| Constructor Summary | |
(package private) |
VFSBrowser.PluginsMenuButton.MouseHandler()
|
| Method Summary | |
void |
mousePressed(java.awt.event.MouseEvent evt)
Implements this method in the interface with an empty method body. |
| Methods inherited from class java.awt.event.MouseAdapter |
mouseClicked, mouseEntered, mouseExited, mouseReleased |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
VFSBrowser.PluginsMenuButton.MouseHandler
VFSBrowser.PluginsMenuButton.MouseHandler()
| Method Detail |
mousePressed
public void mousePressed(java.awt.event.MouseEvent evt)
- Description copied from class:
java.awt.event.MouseAdapter - Implements this method in the interface with an empty method body.
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ browser overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC