void pairDraw(GC gc, StyledRegion sr, int start, int end) {
if (start > text.getCharCount() || end > text.getCharCount()) return;
if (gc != null) {
Point left = text.getLocationAtOffset(start);
Point right = text.getLocationAtOffset(end);
if (sr != null) {
if (highlightStyle == HLS_XOR) {
int resultColor = sr.fore ^ cm.getColor(text.getBackground());
if (text.getLineAtOffset(text.getCaretOffset()) == text.getLineAtOffset(start)
&& horzCross
&& horzCrossColor != null
&& ((StyledRegion) horzCrossColor).bback)
resultColor = sr.fore ^ ((StyledRegion) horzCrossColor).back;
Color color = cm.getColor(sr.bfore, resultColor);
gc.setBackground(color);
gc.setXORMode(true);
gc.fillRectangle(left.x, left.y, right.x - left.x, gc.getFontMetrics().getHeight());
} else if (highlightStyle == HLS_OUTLINE) {
Color color = cm.getColor(sr.bfore, sr.fore);
gc.setForeground(color);
gc.drawRectangle(
left.x, left.y, right.x - left.x - 1, gc.getFontMetrics().getHeight() - 1);
} else if (highlightStyle == HLS_OUTLINE2) {
Color color = cm.getColor(sr.bfore, sr.fore);
gc.setForeground(color);
gc.setLineWidth(2);
gc.drawRectangle(
left.x + 1, left.y + 1, right.x - left.x - 2, gc.getFontMetrics().getHeight() - 2);
}
}
} else {
text.redrawRange(start, end - start, true);
}
}
void updateViewport() {
baseEditor.lineCountEvent(text.getLineCount());
int start = 0;
try {
start = text.getTopIndex() - 1;
} catch (Exception e) {
e.printStackTrace(System.out);
}
if (start < 0) start = 0;
int end = start + text.getClientArea().height / text.getLineHeight();
baseEditor.visibleTextEvent(start, end - start + 2);
}
void pairsDraw(GC gc, PairMatch pm) {
if (pm == null) return;
if (pm.start != null) {
if (pm.sline >= text.getLineCount()) return;
int lineOffset = text.getOffsetAtLine(pm.sline);
pairDraw(
gc, (StyledRegion) pm.start.rdef, pm.start.start + lineOffset, pm.start.end + lineOffset);
}
if (pm.end != null) {
if (pm.eline >= text.getLineCount()) return;
int lineOffset = text.getOffsetAtLine(pm.eline);
pairDraw(gc, (StyledRegion) pm.end.rdef, pm.end.start + lineOffset, pm.end.end + lineOffset);
}
}
void redrawFrom(int lno) {
if (lno < 0 || lno >= text.getLineCount()) return;
int y = text.getLocationAtOffset(text.getOffsetAtLine(lno)).y;
int height = text.getClientArea().height - y;
int width = text.getClientArea().width + text.getHorizontalPixel();
text.redraw(0, y, width, height, false);
}
/**
* Changes style/coloring scheme into the specified.
*
* @param name Name of color scheme (HRD name).
* @param useBackground If true, native HRD background properties would be assigned to colored
* StyledText.
*/
public void setRegionMapper(String name, boolean useBackground) {
baseEditor.setRegionMapper("rgb", name);
StyledRegion sr = (StyledRegion) baseEditor.getBackground();
text.setForeground(null);
text.setBackground(null);
if (useBackground) {
text.setForeground(cm.getColor(sr.bfore, sr.fore));
text.setBackground(cm.getColor(sr.bback, sr.back));
}
;
/*
if ((sr.style & StyledRegion.BOLD) != 0){
Font cf = text.getFont();
FontData fdata[] = cf.getFontData();
fdata[0].setStyle(SWT.BOLD);
text.setFont(new Font(text.getDisplay(), fdata));
System.out.println("font!");
};
*/
setCross(vertCross, horzCross);
};
/** @see IPainter#deactivate */
public final void deactivate(final boolean redraw) {
if (mIsActive) {
mIsActive = false;
mTextWidget.removePaintListener(this);
if (mPositionManager != null) {
mPositionManager.unmanagePosition(mBracketPosition);
}
if (redraw) {
handleDrawRequest(null);
}
}
}
/** Moves caret to the position of currently active pair. */
public boolean matchPair() {
if (currentPair == null) return false;
int caret = text.getCaretOffset();
int lno = text.getLineAtOffset(caret);
PairMatch cp = baseEditor.getPairMatch(lno, caret - text.getOffsetAtLine(lno));
baseEditor.searchGlobalPair(cp);
if (cp.end == null) return false;
if (cp.topPosition) text.setSelection(text.getOffsetAtLine(cp.eline) + cp.end.end);
else text.setSelection(text.getOffsetAtLine(cp.eline) + cp.end.start);
return true;
}
private final void draw(final GC gc, final int offset, final int length) {
if (gc != null) {
Point left = mTextWidget.getLocationAtOffset(offset);
Point right = mTextWidget.getLocationAtOffset(offset + length);
Color color = mMismatch ? mMismatchColor : mColor;
if (mBox) {
gc.setForeground(color);
int x = left.x;
int y = left.y;
int w = right.x - left.x - 1;
int h = gc.getFontMetrics().getHeight();
gc.drawRectangle(x, y, w, h);
} else {
gc.setForeground(mDefaultColor);
gc.setBackground(color);
gc.drawString(mTextWidget.getTextRange(offset, 1), left.x, left.y, false);
}
} else {
mTextWidget.redrawRange(offset, length, true);
}
}
public void stateChanged() {
backParserDelay = true;
int curLine = text.getLineAtOffset(text.getCaretOffset());
if (lineHighlighting && text.getSelectionRange().y != 0) {
lineHighlighting = false;
drawLine(prevLine);
pairsHighlighting = false;
pairsDraw(null, currentPair);
return;
}
if (text.getSelectionRange().y != 0) return;
if (!lineHighlighting) {
// drawing current line
lineHighlighting = true;
drawLine(curLine);
} else if (curLine != prevLine) {
drawLine(prevLine);
drawLine(curLine);
prevLine = curLine;
}
// drawing current pairs
if (!pairsHighlighting) {
pairsHighlighting = true;
pairsDraw(null, currentPair);
} else {
int lineOffset = text.getOffsetAtLine(curLine);
PairMatch newmatch = baseEditor.getPairMatch(curLine, text.getCaretOffset() - lineOffset);
if (newmatch != null) baseEditor.searchLocalPair(newmatch);
if ((newmatch == null && currentPair != null)
|| (newmatch != null && !newmatch.equals(currentPair))) {
pairsDraw(null, currentPair);
pairsDraw(null, newmatch);
}
currentPair = newmatch;
}
}
/**
* Installs this highlighter into the specified StyledText object. Client can manually call
* detach() method, then wants to destroy this object.
*/
public void attach(StyledText parent) {
detach();
text = parent;
text.addDisposeListener(ml);
text.addLineStyleListener(ml);
text.addLineBackgroundListener(ml);
text.addPaintListener(ml);
text.addVerifyListener(ml);
text.addExtendedModifyListener(ml);
text.addControlListener(ml);
text.addKeyListener(ml);
text.addTraverseListener(ml);
text.addMouseListener(ml);
text.addSelectionListener(ml);
text.getContent().addTextChangeListener(ml);
ScrollBar sb = text.getVerticalBar();
if (sb != null) sb.addSelectionListener(ml);
updateViewport();
new Thread() {
public void run() {
// setPriority(Thread.NORM_PRIORITY-1);
while (true) {
try {
sleep(300);
} catch (InterruptedException e) {
}
if (baseEditor == null || text == null) break;
if (backParserDelay) {
backParserDelay = false;
try {
sleep(1500);
} catch (InterruptedException e) {
}
continue;
}
;
Display.getDefault()
.syncExec(
new Runnable() {
public void run() {
if (baseEditor == null || text == null) return;
if (text.isDisposed()) return;
// System.out.println(System.currentTimeMillis());
baseEditor.idleJob(80);
// redrawFrom(text.getLineAtOffset(text.getCaretOffset()));
}
});
}
;
};
}.start();
}
void drawLine(int lno) {
if (lno < 0 || lno >= text.getLineCount()) return;
int y = text.getLocationAtOffset(text.getOffsetAtLine(lno)).y;
int height = 0;
if (text.getLineCount() > lno + 1)
height = text.getLocationAtOffset(text.getOffsetAtLine(lno + 1)).y - y;
else height = text.getLocationAtOffset(text.getCharCount()).y + text.getLineHeight();
int width = text.getClientArea().width + text.getHorizontalPixel();
text.redraw(0, y, width, height, false);
}
/**
* Removes this object from the corresponding StyledText widget. Object can't be used after this
* call, until another attach. This method is called automatically, when StyledText widget is
* disposed
*/
public void detach() {
if (text == null) return;
text.removeDisposeListener(ml);
text.removeLineStyleListener(ml);
text.removeLineBackgroundListener(ml);
text.removePaintListener(ml);
text.removeVerifyListener(ml);
text.removeExtendedModifyListener(ml);
text.removeControlListener(ml);
text.removeKeyListener(ml);
text.removeTraverseListener(ml);
text.removeMouseListener(ml);
text.removeSelectionListener(ml);
ScrollBar sb = text.getVerticalBar();
if (sb != null) sb.removeSelectionListener(ml);
baseEditor = null;
}
void createControlTransfer(Composite parent) {
Label l = new Label(parent, SWT.NONE);
l.setText("Text:");
Button b = new Button(parent, SWT.PUSH);
b.setText("Cut");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
text.cut();
}
});
b = new Button(parent, SWT.PUSH);
b.setText("Copy");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
text.copy();
}
});
b = new Button(parent, SWT.PUSH);
b.setText("Paste");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
text.paste();
}
});
text = new Text(parent, SWT.BORDER | SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
GridData data = new GridData(GridData.FILL_HORIZONTAL);
data.heightHint = data.widthHint = SIZE;
text.setLayoutData(data);
l = new Label(parent, SWT.NONE);
l.setText("Combo:");
b = new Button(parent, SWT.PUSH);
b.setText("Cut");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
combo.cut();
}
});
b = new Button(parent, SWT.PUSH);
b.setText("Copy");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
combo.copy();
}
});
b = new Button(parent, SWT.PUSH);
b.setText("Paste");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
combo.paste();
}
});
combo = new Combo(parent, SWT.NONE);
combo.setItems(new String[] {"Item 1", "Item 2", "Item 3", "A longer Item"});
l = new Label(parent, SWT.NONE);
l.setText("StyledText:");
l = new Label(parent, SWT.NONE);
l.setVisible(false);
b = new Button(parent, SWT.PUSH);
b.setText("Copy");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
styledText.copy();
}
});
b = new Button(parent, SWT.PUSH);
b.setText("Paste");
b.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
styledText.paste();
}
});
styledText = new StyledText(parent, SWT.BORDER | SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
data = new GridData(GridData.FILL_HORIZONTAL);
data.heightHint = data.widthHint = SIZE;
styledText.setLayoutData(data);
}
/** @see IPainter#paint(int) */
public final void paint(final int reason) {
Point selection = mSourceViewer.getSelectedRange();
if (selection.y > 0) {
deactivate(true);
return;
}
SexpNavigator explorer = mEditor.getExplorer();
boolean backward = true;
boolean closeToParen = false;
int offset = selection.x;
IDocument document = mEditor.getDocument();
try {
char previousChar = '\0';
char nextChar = '\0';
if (selection.x > 0) previousChar = document.getChar(selection.x - 1);
if (selection.x > 0
&& SchemeScannerUtilities.isClosingParenthesis(previousChar)
&& SchemeTextUtilities.getPartition(document, selection.x - 1).getType()
== IDocument.DEFAULT_CONTENT_TYPE) {
closeToParen = true;
} else {
nextChar = document.getChar(selection.x);
if (selection.x < document.getLength() - 1
&& SchemeScannerUtilities.isOpeningParenthesis(nextChar)
&& SchemeTextUtilities.getPartition(document, selection.x).getType()
== IDocument.DEFAULT_CONTENT_TYPE) {
closeToParen = true;
backward = false;
}
}
if (closeToParen && backward && explorer.backwardSexpression(selection.x)) {
offset = explorer.getListStart();
char matchingChar = document.getChar(offset);
mMismatch =
SchemeScannerUtilities.getParenthesisType(previousChar)
!= SchemeScannerUtilities.getParenthesisType(matchingChar);
} else {
if (closeToParen && !backward && explorer.forwardSexpression(selection.x)) {
offset = explorer.getSexpEnd() - 1;
char matchingChar = document.getChar(offset);
mMismatch =
SchemeScannerUtilities.getParenthesisType(nextChar)
!= SchemeScannerUtilities.getParenthesisType(matchingChar);
} else {
deactivate(true);
return;
}
}
} catch (BadLocationException exception) {
deactivate(true);
return;
}
if (mIsActive) {
// only if different
if (offset != mBracketPosition.getOffset()) {
// remove old highlighting
handleDrawRequest(null);
// update position
mBracketPosition.isDeleted = false;
mBracketPosition.offset = offset;
mBracketPosition.length = 1;
// apply new highlighting
handleDrawRequest(null);
}
} else {
mIsActive = true;
mBracketPosition.isDeleted = false;
mBracketPosition.offset = offset;
mBracketPosition.length = 1;
mTextWidget.addPaintListener(this);
mPositionManager.managePosition(mBracketPosition);
handleDrawRequest(null);
}
}