public class XtextStyledTextSelectionProvider extends java.lang.Object implements ISelectionProvider
| Constructor and Description |
|---|
XtextStyledTextSelectionProvider(StyledText styledText,
org.eclipse.xtext.resource.XtextResource xtextResource) |
| Modifier and Type | Method and Description |
|---|---|
void |
addSelectionChangedListener(ISelectionChangedListener listener) |
ISelection |
getSelection() |
void |
removeSelectionChangedListener(ISelectionChangedListener listener) |
void |
setSelection(ISelection selection) |
public XtextStyledTextSelectionProvider(StyledText styledText, org.eclipse.xtext.resource.XtextResource xtextResource)
public void setSelection(ISelection selection)
setSelection in interface ISelectionProviderpublic void removeSelectionChangedListener(ISelectionChangedListener listener)
removeSelectionChangedListener in interface ISelectionProviderpublic void addSelectionChangedListener(ISelectionChangedListener listener)
addSelectionChangedListener in interface ISelectionProviderpublic ISelection getSelection()
getSelection in interface ISelectionProvider