package net.sourceforge.phpeclipse.phpeditor;
-
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
import org.eclipse.swt.events.MouseListener;
import org.eclipse.swt.widgets.Control;
-
-public final class PaintManager implements KeyListener, MouseListener, ISelectionChangedListener, ITextListener, ITextInputListener {
-
+public final class PaintManager implements KeyListener, MouseListener,
+ ISelectionChangedListener, ITextListener, ITextInputListener {
static class PaintPositionUpdater extends DefaultPositionUpdater {
-
+
/**
* Creates the position updater.
*/
protected PaintPositionUpdater(String category) {
super(category);
}
-
+
/**
- * If an insertion happens at a position's offset, the
- * position is extended rather than shifted. Also, if something is added
- * right behind the end of the position, the position is extended rather
- * than kept stable.
+ * If an insertion happens at a position's offset, the position is
+ * extended rather than shifted. Also, if something is added right
+ * behind the end of the position, the position is extended rather than
+ * kept stable.
*/
protected void adaptToInsert() {
-
- int myStart= fPosition.offset;
- int myEnd= fPosition.offset + fPosition.length;
- myEnd= Math.max(myStart, myEnd);
-
- int yoursStart= fOffset;
- int yoursEnd= fOffset + fReplaceLength;// - 1;
- yoursEnd= Math.max(yoursStart, yoursEnd);
-
+
+ int myStart = fPosition.offset;
+ int myEnd = fPosition.offset + fPosition.length;
+ myEnd = Math.max(myStart, myEnd);
+
+ int yoursStart = fOffset;
+ int yoursEnd = fOffset + fReplaceLength;// - 1;
+ yoursEnd = Math.max(yoursStart, yoursEnd);
+
if (myEnd < yoursStart)
return;
-
+
if (myStart <= yoursStart)
fPosition.length += fReplaceLength;
else
};
static class PositionManager implements IPositionManager {
-
+
private IDocument fDocument;
+
private IPositionUpdater fPositionUpdater;
+
private String fCategory;
-
+
public PositionManager() {
- fCategory= getClass().getName() + hashCode();
- fPositionUpdater= new PaintPositionUpdater(fCategory);
+ fCategory = getClass().getName() + hashCode();
+ fPositionUpdater = new PaintPositionUpdater(fCategory);
}
public void install(IDocument document) {
- fDocument= document;
+ fDocument = document;
fDocument.addPositionCategory(fCategory);
fDocument.addPositionUpdater(fPositionUpdater);
}
-
+
public void dispose() {
uninstall(fDocument);
}
-
+
public void uninstall(IDocument document) {
if (document == fDocument && document != null) {
try {
fDocument.removePositionUpdater(fPositionUpdater);
- fDocument.removePositionCategory(fCategory);
+ fDocument.removePositionCategory(fCategory);
} catch (BadPositionCategoryException x) {
// should not happen
}
- fDocument= null;
+ fDocument = null;
}
}
-
+
/*
* @see IPositionManager#addManagedPosition(Position)
*/
// should not happen
}
}
-
+
/*
* @see IPositionManager#removeManagedPosition(Position)
*/
}
}
};
-
-
- private List fPainters= new ArrayList(2);
+
+ private List fPainters = new ArrayList(2);
+
private PositionManager fManager;
+
private ISourceViewer fSourceViewer;
- private boolean fTextChanged= false;
- private boolean fAutoRepeat= false;
-
-
+
+ private boolean fTextChanged = false;
+
+ private boolean fAutoRepeat = false;
+
public PaintManager(ISourceViewer sourceViewer) {
- fSourceViewer= sourceViewer;
+ fSourceViewer = sourceViewer;
}
-
+
public void addPainter(IPainter painter) {
if (!fPainters.contains(painter)) {
fPainters.add(painter);
painter.paint(IPainter.INTERNAL);
}
}
-
+
public void removePainter(IPainter painter) {
if (fPainters.remove(painter))
painter.setPositionManager(null);
if (fPainters.size() == 0)
dispose();
}
-
+
private void install() {
-
- fManager= new PositionManager();
+
+ fManager = new PositionManager();
fManager.install(fSourceViewer.getDocument());
-
+
fSourceViewer.addTextInputListener(this);
-
- ISelectionProvider provider= fSourceViewer.getSelectionProvider();
+
+ ISelectionProvider provider = fSourceViewer.getSelectionProvider();
provider.addSelectionChangedListener(this);
-
+
fSourceViewer.addTextListener(this);
-
- StyledText text= fSourceViewer.getTextWidget();
+
+ StyledText text = fSourceViewer.getTextWidget();
text.addKeyListener(this);
text.addMouseListener(this);
}
-
+
public void dispose() {
-
+
if (fManager != null) {
fManager.dispose();
- fManager= null;
+ fManager = null;
}
-
+
for (Iterator e = fPainters.iterator(); e.hasNext();)
- ((IPainter) e.next()).dispose();
+ ((IPainter) e.next()).dispose();
fPainters.clear();
-
+
fSourceViewer.removeTextInputListener(this);
-
- ISelectionProvider provider= fSourceViewer.getSelectionProvider();
+
+ ISelectionProvider provider = fSourceViewer.getSelectionProvider();
if (provider != null)
provider.removeSelectionChangedListener(this);
-
+
fSourceViewer.removeTextListener(this);
-
- StyledText text= fSourceViewer.getTextWidget();
+
+ StyledText text = fSourceViewer.getTextWidget();
if (text != null && !text.isDisposed()) {
text.removeKeyListener(this);
text.removeMouseListener(this);
}
}
-
+
private void paint(int reason) {
for (Iterator e = fPainters.iterator(); e.hasNext();)
((IPainter) e.next()).paint(reason);
}
-
+
/*
* @see KeyListener#keyPressed(KeyEvent)
*/
*/
public void mouseDoubleClick(MouseEvent e) {
}
-
+
/*
* @see MouseListener#mouseDown(MouseEvent)
*/
public void mouseDown(MouseEvent e) {
paint(IPainter.MOUSE_BUTTON);
}
-
+
/*
* @see MouseListener#mouseUp(MouseEvent)
*/
public void mouseUp(MouseEvent e) {
}
-
+
/*
* @see ISelectionChangedListener#selectionChanged(SelectionChangedEvent)
*/
public void selectionChanged(SelectionChangedEvent event) {
paint(IPainter.SELECTION);
}
-
+
/*
* @see ITextListener#textChanged(TextEvent)
*/
public void textChanged(TextEvent event) {
-
+
if (!event.getViewerRedrawState())
return;
-
- fTextChanged= true;
- Control control= fSourceViewer.getTextWidget();
+
+ fTextChanged = true;
+ Control control = fSourceViewer.getTextWidget();
if (control != null) {
control.getDisplay().asyncExec(new Runnable() {
public void run() {
- if (fTextChanged && fSourceViewer != null)
+ if (fTextChanged && fSourceViewer != null)
paint(IPainter.TEXT_CHANGE);
}
});
}
}
-
+
/*
- * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, IDocument)
+ * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument,
+ * IDocument)
*/
- public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {
+ public void inputDocumentAboutToBeChanged(IDocument oldInput,
+ IDocument newInput) {
if (oldInput != null) {
for (Iterator e = fPainters.iterator(); e.hasNext();)
- ((IPainter) e.next()).deactivate(false);
+ ((IPainter) e.next()).deactivate(false);
fManager.uninstall(oldInput);
}
}
-
+
/*
* @see ITextInputListener#inputDocumentChanged(IDocument, IDocument)
*/
}
}
}
-
git://secure.phpeclipse.com / phpeclipse.git / blobdiff