Saros
Distributed Collaborative Editing and Distributed Party Programming
|
Public Member Functions | |
EditorListener (EditorManager manager) | |
boolean | bind (final IEditorPart part) |
void | unbind () |
boolean | equals (ILineRange one, ILineRange two) |
Protected Member Functions | |
void | generateSelection () |
void | generateViewport () |
Protected Attributes | |
final EditorManager | manager |
ITextViewer | viewer |
IEditorPart | part |
ITextSelection | lastSelection = new TextSelection(-1, -1) |
ILineRange | lastViewport = new LineRange(-1, -1) |
boolean | isUnsupportedEditor |
ControlListener | controlListener |
final MouseListener | mouseListener |
final KeyListener | keyListener |
IViewportListener | viewportListener |
ISelectionChangedListener | selectionChangedListener |
ITextListener | textListener |
Listener for tracking the selection and viewport of an IEditorPart and reporting any changes to an EditorManager.
de.fu_berlin.inf.dpp.editor.EditorListener.EditorListener | ( | EditorManager | manager | ) |
boolean de.fu_berlin.inf.dpp.editor.EditorListener.bind | ( | final IEditorPart | part | ) |
Connects all selection listeners to the given IEditorPart editor part}. If an editor part was already bound it will be unbound and replaced with the given editor part.
part | the editor part to observe |
true
if the selection listeners were successfully installed, false
if the selection listeners could not be installed boolean de.fu_berlin.inf.dpp.editor.EditorListener.equals | ( | ILineRange | one, |
ILineRange | two | ||
) |
void de.fu_berlin.inf.dpp.editor.EditorListener.generateSelection | ( | ) | [protected] |
void de.fu_berlin.inf.dpp.editor.EditorListener.generateViewport | ( | ) | [protected] |
void de.fu_berlin.inf.dpp.editor.EditorListener.unbind | ( | ) |
Disconnects all selection listeners from the underlying IEditorPart editor part}.
ControlListener de.fu_berlin.inf.dpp.editor.EditorListener.controlListener [protected] |
new ControlListener() { @Override public void controlMoved(ControlEvent e) { generateViewport(); } @Override public void controlResized(ControlEvent e) { generateViewport(); } }
Listens to resize events of the control, because the IViewportListener does not report such events.
boolean de.fu_berlin.inf.dpp.editor.EditorListener.isUnsupportedEditor [protected] |
final KeyListener de.fu_berlin.inf.dpp.editor.EditorListener.keyListener [protected] |
new KeyListener() { @Override public void keyReleased(KeyEvent e) { generateSelection(); } @Override public void keyPressed(KeyEvent e) { } }
ITextSelection de.fu_berlin.inf.dpp.editor.EditorListener.lastSelection = new TextSelection(-1, -1) [protected] |
ILineRange de.fu_berlin.inf.dpp.editor.EditorListener.lastViewport = new LineRange(-1, -1) [protected] |
final EditorManager de.fu_berlin.inf.dpp.editor.EditorListener.manager [protected] |
final MouseListener de.fu_berlin.inf.dpp.editor.EditorListener.mouseListener [protected] |
new MouseListener() { @Override public void mouseDown(MouseEvent e) { generateSelection(); } @Override public void mouseUp(MouseEvent e) { generateSelection(); } @Override public void mouseDoubleClick(MouseEvent e) { } }
IEditorPart de.fu_berlin.inf.dpp.editor.EditorListener.part [protected] |
ISelectionChangedListener de.fu_berlin.inf.dpp.editor.EditorListener.selectionChangedListener [protected] |
new ISelectionChangedListener() { @Override public void selectionChanged(SelectionChangedEvent event) { generateSelection(); } }
ITextListener de.fu_berlin.inf.dpp.editor.EditorListener.textListener [protected] |
new ITextListener() { @Override public void textChanged(TextEvent event) { String text = event.getText(); String replaced = event.getReplacedText(); if ((text != null && text.indexOf('\n') != -1) || (replaced != null && replaced.indexOf('\n') != -1)) { generateViewport(); } } }
Listens to newlines being inserted or deleted to inform our listener of updates to the view port
ITextViewer de.fu_berlin.inf.dpp.editor.EditorListener.viewer [protected] |
IViewportListener de.fu_berlin.inf.dpp.editor.EditorListener.viewportListener [protected] |
new IViewportListener() { @Override public void viewportChanged(int verticalOffset) { generateViewport(); } }