boolean generateControls(int start, int length) {
// if null then the control manager is not initialized
if (annotationModel == null) return false;
// set up a scan for the entire document.
scanner.setPartialRange(doc, start, length, IDocument.DEFAULT_CONTENT_TYPE, start);
boolean controlCreated = false;
// create the controls,
// determine their ranges,
// add them to the StyledText
IToken tok;
while (!(tok = scanner.nextToken()).isEOF()) {
if (tok == ContainingEditorScanner.EDITOR_TOKEN) {
StyleRange[] ranges =
createAndAddControl(scanner.getTokenOffset(), scanner.getTokenLength());
TextPresentation singlePres = new TextPresentation();
singlePres.addStyleRange(ranges[0]);
singlePres.addStyleRange(ranges[1]);
this.containingEditor.internalGetSourceViewer().changeTextPresentation(singlePres, true);
controlCreated = true;
}
}
return controlCreated;
}
protected void stopBold() {
--fBold;
if (fBold == 0) {
if (fTextPresentation != null) {
fTextPresentation.addStyleRange(
new StyleRange(fStartOffset, fCounter - fStartOffset, null, null, SWT.BOLD));
}
fStartOffset = -1;
}
}
/**
* Adds style information to the given text presentation.
*
* @param presentation the text presentation to be extended
* @param offset the offset of the range to be styled
* @param length the length of the range to be styled
* @param attr the attribute describing the style of the range to be styled
*/
protected void addRange(
final TextPresentation presentation,
final int offset,
final int length,
final TextAttribute attr) {
if (attr != null) {
presentation.addStyleRange(
new StyleRange(
offset, length, attr.getForeground(), attr.getBackground(), attr.getStyle()));
}
}
/**
* Adds style information to the given text presentation.
*
* @param presentation the text presentation to be extended
* @param offset the offset of the range to be styled
* @param length the length of the range to be styled
* @param attr the attribute describing the style of the range to be styled
*/
protected void addRange(
TextPresentation presentation, int offset, int length, TextAttribute attr) {
if (attr != null) {
int style = attr.getStyle();
int fontStyle = style & (SWT.ITALIC | SWT.BOLD | SWT.NORMAL);
StyleRange styleRange =
new StyleRange(offset, length, attr.getForeground(), attr.getBackground(), fontStyle);
styleRange.strikeout = (style & TextAttribute.STRIKETHROUGH) != 0;
styleRange.underline = (style & TextAttribute.UNDERLINE) != 0;
styleRange.font = attr.getFont();
presentation.addStyleRange(styleRange);
}
}
@Override
public void createPresentation(TextPresentation presentation, ITypedRegion region) {
// Use tokens provided by the lexer to highlight keywords, etc...
// Seems fast enough to skip Eclipse partitioning. Infact, the Eclipse
// partitioner seems to slow everything down...
TSLKGrammarLexer lexer = new TSLKGrammarLexer(new ANTLRInputStream(document.get()));
Token t = null;
while ((t = lexer.nextToken()).getType() != Token.EOF) {
if (t.getStartIndex() > region.getOffset() + region.getLength()) break;
int start = t.getStartIndex();
int end = t.getStopIndex();
RGB foreground = null;
RGB background = null;
int style = SWT.NORMAL;
switch (t.getType()) { // TODO: Make keywords customisable
case TSLKGrammarLexer.WHILE:
case TSLKGrammarLexer.FOR:
case TSLKGrammarLexer.FUNC:
case TSLKGrammarLexer.IF:
case TSLKGrammarLexer.THEN:
case TSLKGrammarLexer.DO:
case TSLKGrammarLexer.END:
foreground = ColorManager.KEYWORD;
style = SWT.BOLD;
break;
case TSLKGrammarLexer.STRING:
foreground = ColorManager.STRING;
break;
case TSLKGrammarLexer.SLCOMMENT:
foreground = ColorManager.SINGLE_LINE_COMMENT;
break;
case TSLKGrammarLexer.MLCOMMENT:
foreground = ColorManager.MULTI_LINE_COMMENT;
break;
default:
foreground = ColorManager.DEFAULT;
break;
}
presentation.addStyleRange(
new StyleRange(
start,
end - start + 1,
colorManager.getColor(foreground),
colorManager.getColor(background),
style));
}
}
@SuppressWarnings("unchecked")
private void updateImage(String imgSrc, ImageData imageData) {
if (display.isDisposed() || viewer.getTextWidget().isDisposed()) {
return;
}
Image image =
imageData == null
? imageCache.getMissingImage()
: ImageDescriptor.createFromImageData(imageData).createImage();
imageCache.putImage(imgSrc, image);
Set<ImageAnnotation> modifiedAnnotations = new HashSet<>();
AnnotationModel annotationModel = (AnnotationModel) viewer.getAnnotationModel();
Object annotationLockObject = annotationModel.getLockObject();
if (annotationLockObject == null) {
annotationLockObject = annotationModel;
}
synchronized (annotationLockObject) {
Iterator<Annotation> iterator = annotationModel.getAnnotationIterator();
while (iterator.hasNext()) {
Annotation annotation = iterator.next();
if (annotation instanceof ImageAnnotation) {
ImageAnnotation imageAnnotation = (ImageAnnotation) annotation;
if (imgSrc.equals(imageAnnotation.getUrl())) {
imageAnnotation.setImage(image);
modifiedAnnotations.add(imageAnnotation);
}
}
}
}
if (!modifiedAnnotations.isEmpty()) {
computingChanges = true;
try {
boolean rangesAdjusted = false;
List<StyleRange> ranges = new ArrayList<>();
Iterator<?> allStyleRangeIterator = viewer.getTextPresentation().getAllStyleRangeIterator();
while (allStyleRangeIterator.hasNext()) {
StyleRange range = (StyleRange) allStyleRangeIterator.next();
ranges.add((StyleRange) range.clone());
}
GC gc = new GC(viewer.getTextWidget());
try {
viewer.getTextWidget().setRedraw(false);
TextPresentation textPresentation = viewer.getTextPresentation();
// textPresentation.
for (ImageAnnotation annotation : modifiedAnnotations) {
int height = annotation.getImage().getBounds().height;
Position position = annotationModel.getPosition(annotation);
String widgetText = viewer.getTextWidget().getText();
Font font = null;
if (widgetText.length() > 0 && widgetText.length() > position.offset) {
StyleRange styleRange = viewer.getTextWidget().getStyleRangeAtOffset(position.offset);
if (styleRange != null) {
font = styleRange.font;
}
}
if (font == null) {
font = viewer.getTextWidget().getFont();
}
gc.setFont(font);
Point extent = gc.textExtent("\n"); // $NON-NLS-1$
if (extent.y > 0) {
int numNewlines = (int) Math.ceil(((double) height) / ((double) extent.y));
final int originalNewlines = numNewlines;
IDocument document = viewer.getDocument();
try {
for (int x = position.offset; x < document.getLength(); ++x) {
if (document.getChar(x) == '\n') {
if (x != position.offset
&& Util.annotationsIncludeOffset(viewer.getAnnotationModel(), x)) {
break;
}
--numNewlines;
} else {
break;
}
}
if (numNewlines > 0) {
String newlines = ""; // $NON-NLS-1$
for (int x = 0; x < numNewlines; ++x) {
newlines += "\n"; // $NON-NLS-1$
}
document.replace(position.offset + 1, 0, newlines);
} else if (numNewlines < 0) {
document.replace(position.offset, -numNewlines, ""); // $NON-NLS-1$
}
if (numNewlines != 0) {
// no need to fixup other annotation positions, since the annotation model is
// hooked into the document.
// fix up styles
for (StyleRange range : ranges) {
if (range.start > position.offset) {
range.start += numNewlines;
rangesAdjusted = true;
} else if (range.start + range.length > position.offset) {
range.length += numNewlines;
rangesAdjusted = true;
}
}
}
// bug# 248643: update the annotation size to reflect the full size of the image
// so that it gets repainted when some portion of the image is exposed
// as a result of scrolling
if (position.getLength() != originalNewlines) {
annotationModel.modifyAnnotationPosition(
annotation, new Position(position.offset, originalNewlines));
}
} catch (BadLocationException e) {
// ignore
}
}
}
if (rangesAdjusted) {
TextPresentation presentation = new TextPresentation();
if (textPresentation.getDefaultStyleRange() != null) {
StyleRange defaultStyleRange =
(StyleRange) textPresentation.getDefaultStyleRange().clone();
if (viewer.getDocument() != null) {
if (defaultStyleRange.length < viewer.getDocument().getLength()) {
defaultStyleRange.length = viewer.getDocument().getLength();
}
}
presentation.setDefaultStyleRange(defaultStyleRange);
}
for (StyleRange range : ranges) {
presentation.addStyleRange(range);
}
viewer.setTextPresentation(presentation);
viewer.invalidateTextPresentation();
}
} finally {
viewer.getTextWidget().setRedraw(true);
gc.dispose();
}
viewer.getTextWidget().redraw();
} finally {
computingChanges = false;
}
}
}