public class OccurrenceMarker
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
OccurrenceMarker.MarkOccurrenceJob |
Constructor and Description |
---|
OccurrenceMarker() |
Modifier and Type | Method and Description |
---|---|
void |
connect(XtextEditor editor,
boolean isMarkOccurrences) |
protected org.eclipse.jface.viewers.ISelectionChangedListener |
createSelectionChangedListener() |
void |
disconnect(XtextEditor editor) |
protected void |
doMarkOccurrences(org.eclipse.jface.viewers.ISelection selection) |
protected org.eclipse.jface.viewers.ISelectionChangedListener |
getSelectionChangedListener() |
void |
setMarkOccurrences(boolean isMarkOccurrences) |
public void connect(XtextEditor editor, boolean isMarkOccurrences)
public void disconnect(XtextEditor editor)
public void setMarkOccurrences(boolean isMarkOccurrences)
protected void doMarkOccurrences(org.eclipse.jface.viewers.ISelection selection)
protected org.eclipse.jface.viewers.ISelectionChangedListener getSelectionChangedListener()
protected org.eclipse.jface.viewers.ISelectionChangedListener createSelectionChangedListener()