Package editor
Class SystemPanel.MouseHandler
- java.lang.Object
-
- java.awt.event.MouseAdapter
-
- editor.SystemPanel.MouseHandler
-
- All Implemented Interfaces:
java.awt.event.MouseListener,java.awt.event.MouseMotionListener,java.awt.event.MouseWheelListener,java.util.EventListener
- Enclosing class:
- SystemPanel
private class SystemPanel.MouseHandler extends java.awt.event.MouseAdapter
-
-
Field Summary
Fields Modifier and Type Field Description private SourceFileAttribute_link
-
Constructor Summary
Constructors Modifier Constructor Description privateMouseHandler()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private voidforward(java.awt.event.MouseWheelEvent e)For some reason the parent does not get mouse wheelprotected javax.swing.text.ElementgetElementAt(int offset)private javax.swing.text.ElementgetElementAt(javax.swing.text.Element parent, int offset)private SourceFileAttributegetLinkAtCursor(java.awt.event.MouseEvent e)private voidgotoLink(SourceFileAttribute link)voidmouseMoved(java.awt.event.MouseEvent e)voidmousePressed(java.awt.event.MouseEvent e)voidmouseReleased(java.awt.event.MouseEvent e)voidmouseWheelMoved(java.awt.event.MouseWheelEvent e)
-
-
-
Field Detail
-
_link
private SourceFileAttribute _link
-
-
Method Detail
-
mousePressed
public void mousePressed(java.awt.event.MouseEvent e)
- Specified by:
mousePressedin interfacejava.awt.event.MouseListener- Overrides:
mousePressedin classjava.awt.event.MouseAdapter
-
mouseReleased
public void mouseReleased(java.awt.event.MouseEvent e)
- Specified by:
mouseReleasedin interfacejava.awt.event.MouseListener- Overrides:
mouseReleasedin classjava.awt.event.MouseAdapter
-
mouseMoved
public void mouseMoved(java.awt.event.MouseEvent e)
- Specified by:
mouseMovedin interfacejava.awt.event.MouseMotionListener- Overrides:
mouseMovedin classjava.awt.event.MouseAdapter
-
getLinkAtCursor
private SourceFileAttribute getLinkAtCursor(java.awt.event.MouseEvent e)
-
gotoLink
private void gotoLink(SourceFileAttribute link)
-
mouseWheelMoved
public void mouseWheelMoved(java.awt.event.MouseWheelEvent e)
- Specified by:
mouseWheelMovedin interfacejava.awt.event.MouseWheelListener- Overrides:
mouseWheelMovedin classjava.awt.event.MouseAdapter
-
forward
private void forward(java.awt.event.MouseWheelEvent e)
For some reason the parent does not get mouse wheel
-
getElementAt
protected javax.swing.text.Element getElementAt(int offset)
-
getElementAt
private javax.swing.text.Element getElementAt(javax.swing.text.Element parent, int offset)
-
-