/** * Add a selection listener to be notified when the * text selection changes in the document. */ public void addSelectionListener(SelectionListener sl) { textSelector.addSelectionListener(sl); }
/** * Add a selection listener to be notified when the * text selection changes in the document. */ public void addSelectionListener(SelectionListener sl) { textSelector.addSelectionListener(sl); }
/** * Add a selection listener to be notified when the * text selection changes in the document. */ public void addSelectionListener(SelectionListener sl) { textSelector.addSelectionListener(sl); }
/** * Creates a new TextSelectionManager. */ public TextSelectionManager(JGVTComponent comp, EventDispatcher ed) { textSelector = new ConcreteTextSelector(); textSelectionListener = new TextSelectionListener(); textSelector.addSelectionListener(textSelectionListener); mouseListener = new MouseListener(); component = comp; component.getOverlays().add(selectionOverlay); ed.addGraphicsNodeMouseListener(mouseListener); }
/** * Creates a new TextSelectionManager. */ public TextSelectionManager(JGVTComponent comp, EventDispatcher ed) { textSelector = new ConcreteTextSelector(); textSelectionListener = new TextSelectionListener(); textSelector.addSelectionListener(textSelectionListener); mouseListener = new MouseListener(); component = comp; component.getOverlays().add(selectionOverlay); ed.addGraphicsNodeMouseListener(mouseListener); }
/** * Creates a new TextSelectionManager. */ public TextSelectionManager(JGVTComponent comp, EventDispatcher ed) { textSelector = new ConcreteTextSelector(); textSelectionListener = new TextSelectionListener(); textSelector.addSelectionListener(textSelectionListener); mouseListener = new MouseListener(); component = comp; component.getOverlays().add(selectionOverlay); ed.addGraphicsNodeMouseListener(mouseListener); }