| java.lang.Object org.eclipse.jface.text.PaintManager
Inner Class :static class PaintPositionUpdater extends DefaultPositionUpdater | |
Constructor Summary | |
public | PaintManager(ITextViewer textViewer) Creates a new paint manager for the given text viewer. |
PaintManager | public PaintManager(ITextViewer textViewer)(Code) | | Creates a new paint manager for the given text viewer.
Parameters: textViewer - the text viewer associated to this newly created paint manager |
addPainter | public void addPainter(IPainter painter)(Code) | | Adds the given painter to the list of painters managed by this paint manager.
If the painter is already registered with this paint manager, this method is
without effect.
Parameters: painter - the painter to be added |
dispose | public void dispose()(Code) | | Disposes this paint manager. The paint manager uninstalls itself
and clears all registered painters. This method is also called when the
last painter is removed from the list of managed painters.
|
inputDocumentAboutToBeChanged | public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput)(Code) | | |
inputDocumentChanged | public void inputDocumentChanged(IDocument oldInput, IDocument newInput)(Code) | | |
keyPressed | public void keyPressed(KeyEvent e)(Code) | | |
keyReleased | public void keyReleased(KeyEvent e)(Code) | | |
mouseDoubleClick | public void mouseDoubleClick(MouseEvent e)(Code) | | |
mouseDown | public void mouseDown(MouseEvent e)(Code) | | |
mouseUp | public void mouseUp(MouseEvent e)(Code) | | |
removePainter | public void removePainter(IPainter painter)(Code) | | Removes the given painter from the list of painters managed by this
paint manager. If the painter has not previously been added to this
paint manager, this method is without effect.
Parameters: painter - the painter to be removed |
|
|