/** * Remove a selection listener to be notified when the * text selection changes in the document. */ public void removeSelectionListener(SelectionListener sl) { textSelector.removeSelectionListener(sl); }
/** * Remove a selection listener to be notified when the * text selection changes in the document. */ public void removeSelectionListener(SelectionListener sl) { textSelector.removeSelectionListener(sl); }
/** * Remove a selection listener to be notified when the * text selection changes in the document. */ public void removeSelectionListener(SelectionListener sl) { textSelector.removeSelectionListener(sl); }