org.eclipse.xtext.ui.editor.occurrences
Class OccurrenceMarker
java.lang.Object
org.eclipse.xtext.ui.editor.occurrences.OccurrenceMarker
public class OccurrenceMarker
- extends java.lang.Object
- Author:
- Jan Koehnlein - Initial contribution and API
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OccurrenceMarker
public OccurrenceMarker()
connect
public void connect(XtextEditor editor,
boolean isMarkOccurrences)
disconnect
public void disconnect(XtextEditor editor)
setMarkOccurrences
public void setMarkOccurrences(boolean isMarkOccurrences)
doMarkOccurrences
protected void doMarkOccurrences(org.eclipse.jface.viewers.ISelection selection)
getSelectionChangedListener
protected org.eclipse.jface.viewers.ISelectionChangedListener getSelectionChangedListener()
createSelectionChangedListener
protected org.eclipse.jface.viewers.ISelectionChangedListener createSelectionChangedListener()