org.topbraidcomposer.ui.text
Class StyledTextNavigator
java.lang.Object
org.topbraidcomposer.ui.text.StyledTextNavigator
- All Implemented Interfaces:
- java.util.EventListener, org.eclipse.swt.events.MouseListener, org.eclipse.swt.events.MouseMoveListener, org.eclipse.swt.events.MouseTrackListener, org.eclipse.swt.internal.SWTEventListener
public class StyledTextNavigator
- extends java.lang.Object
- implements org.eclipse.swt.events.MouseListener, org.eclipse.swt.events.MouseMoveListener, org.eclipse.swt.events.MouseTrackListener
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
StyledTextNavigator
public StyledTextNavigator(org.eclipse.swt.custom.StyledText text)
canNavigateToResource
protected boolean canNavigateToResource()
dispose
public void dispose()
getPlugin
public IStyledTextNavigatorPlugin getPlugin()
getResource
public com.hp.hpl.jena.rdf.model.Resource getResource()
mouseDoubleClick
public void mouseDoubleClick(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseDoubleClick in interface org.eclipse.swt.events.MouseListener
mouseDown
public void mouseDown(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseDown in interface org.eclipse.swt.events.MouseListener
mouseUp
public void mouseUp(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseUp in interface org.eclipse.swt.events.MouseListener
mouseMove
public void mouseMove(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseMove in interface org.eclipse.swt.events.MouseMoveListener
mouseEnter
public void mouseEnter(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseEnter in interface org.eclipse.swt.events.MouseTrackListener
mouseExit
public void mouseExit(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseExit in interface org.eclipse.swt.events.MouseTrackListener
mouseHover
public void mouseHover(org.eclipse.swt.events.MouseEvent e)
- Specified by:
mouseHover in interface org.eclipse.swt.events.MouseTrackListener
navigateToResource
protected void navigateToResource()
setPlugin
public void setPlugin(IStyledTextNavigatorPlugin plugin)
updateRange
public static boolean updateRange(org.eclipse.swt.custom.StyledText text,
org.eclipse.swt.events.MouseEvent e,
StyledTextNavigator.IHandler handler)