public void lineGetStyle(LineStyleEvent e) { StyleRange style = new StyleRange(); style.metrics = new GlyphMetrics(0, 0, Integer.toString(100000).length()*5); e.bullet = new Bullet(ST.BULLET_DOT, style); } });
@Override public void lineGetStyle(LineStyleEvent event) { StyleRange range = new StyleRange(); range.foreground = Display.getCurrent().getSystemColor(SWT.COLOR_GRAY); int maxNumLine = styledText.getLineCount(); int bulletLength = Integer.toString(maxNumLine).length(); // right padding int widthBullet = ((bulletLength + 1) * styledText.getLineHeight()) / 2; range.metrics = new GlyphMetrics(0, 0, widthBullet); event.bullet = new Bullet(ST.BULLET_TEXT, range); event.bullet.text = String.format("%" + bulletLength + "s", styledText.getLineAtOffset(event.lineOffset) + 1); }
private Bullet createBullet(Composite main) { StyleRange style = new StyleRange(); style.metrics = new GlyphMetrics(0, 0, 40); style.foreground = main.getDisplay().getSystemColor(SWT.COLOR_BLACK); Bullet bullet = new Bullet(style); return bullet; }
@Override public void lineGetStyle(LineStyleEvent event) { StyledText styledText = (StyledText) event.widget; // Using ST.BULLET_NUMBER sometimes results in weird alignment. // event.bulletIndex = styledText.getLineAtOffset(event.lineOffset); StyleRange styleRange = new StyleRange(); styleRange.foreground = Display.getCurrent().getSystemColor( SWT.COLOR_GRAY); int maxLine = styledText.getLineCount(); int bulletLength = Integer.toString(maxLine).length(); // Width of number character is half the height in monospaced font, add // 1 character width for right padding. int bulletWidth = (bulletLength + 1) * styledText.getLineHeight() / 2; styleRange.metrics = new GlyphMetrics(0, 0, bulletWidth); event.bullet = new Bullet(ST.BULLET_TEXT, styleRange); // getLineAtOffset() returns a zero-based line index. int bulletLine = styledText.getLineAtOffset(event.lineOffset) + 1; event.bullet.text = String.format("%" + bulletLength + "s", bulletLine); }
void addImage(Image image) { int offset = styledText.getCaretOffset(); styledText.replaceTextRange(offset, 0, "\uFFFC"); //$NON-NLS-1$ StyleRange style = new StyleRange(); Rectangle rect = image.getBounds(); style.metrics = new GlyphMetrics(rect.height, 0, rect.width); style.data = image; int[] ranges = {offset, 1}; StyleRange[] styles = {style}; styledText.setStyleRanges(0,0, ranges, styles); }
if (!annotation.isMarkedDeleted()) { if (metrics == null) { metrics= new GlyphMetrics(0, 0, fullWidth); } else { if (metrics.width == fullWidth) { metrics= new GlyphMetrics(0, 0, fullWidth);
void addControl(Control control) { int offset = styledText.getCaretOffset(); styledText.replaceTextRange(offset, 0, "\uFFFC"); //$NON-NLS-1$ StyleRange style = new StyleRange(); Point size = control.computeSize(SWT.DEFAULT, SWT.DEFAULT); int ascent = 2 * size.y / 3; int descent = size.y - ascent; style.metrics = new GlyphMetrics(ascent + MARGIN, descent + MARGIN, size.x + 2 * MARGIN); style.data = control; int[] ranges = {offset, 1}; StyleRange[] styles = {style}; styledText.setStyleRanges(0,0, ranges, styles); control.setSize(size); }
style.metrics = new GlyphMetrics(0, 0, 30); Bullet bullet0 = new Bullet (style); problemsText.setLineBullet(0, problems.length, bullet0);
style.metrics = new GlyphMetrics(0, 0, 30); Bullet bullet0 = new Bullet (style); problemsText.setLineBullet(0, problems.length, bullet0);
style.metrics = new GlyphMetrics(0, 0, 30); Bullet bullet0 = new Bullet (style); problemsText.setLineBullet(0, problems.length, bullet0);
style.metrics = new GlyphMetrics(0, 0, 30); Bullet bullet0 = new Bullet (style); problemsText.setLineBullet(0, problems.length, bullet0);
style.metrics = new GlyphMetrics(0, 0, 30); Bullet bullet0 = new Bullet (style); problemsText.setLineBullet(0, problems.length, bullet0);
void setBullet(int type) { Point selection = styledText.getSelection(); int lineStart = styledText.getLineAtOffset(selection.x); int lineEnd = styledText.getLineAtOffset(selection.y); StyleRange styleRange = new StyleRange(); styleRange.metrics = new GlyphMetrics(0, 0, BULLET_WIDTH); Bullet bullet = new Bullet(type, styleRange); bullet.text = "."; for (int lineIndex = lineStart; lineIndex <= lineEnd; lineIndex++) { Bullet oldBullet = styledText.getLineBullet(lineIndex); styledText.setLineBullet(lineIndex, 1, oldBullet != null ? null : bullet); } }
private void configureStyledText(String text, boolean enabled) { if (fStyledText == null) return; fStyledText.setText(text); int count= fStyledText.getCharCount(); if (count == 0) return; Color foreground= enabled ? null : Display.getDefault().getSystemColor(SWT.COLOR_DARK_GRAY); fStyledText.setStyleRange(new StyleRange(0, count, foreground, null)); StyleRange styleRange= new StyleRange(0, count, foreground, null); styleRange.metrics= new GlyphMetrics(0, 0, 20); fStyledText.setLineBullet(0, fStyledText.getLineCount(), new Bullet(styleRange)); fStyledText.setEnabled(enabled); } }
private void configureStyledText(String text, boolean enabled) { if (fStyledText == null) return; fStyledText.setText(text); int count= fStyledText.getCharCount(); if (count == 0) return; Color foreground= enabled ? null : Display.getDefault().getSystemColor(SWT.COLOR_DARK_GRAY); fStyledText.setStyleRange(new StyleRange(0, count, foreground, null)); StyleRange styleRange= new StyleRange(0, count, foreground, null); styleRange.metrics= new GlyphMetrics(0, 0, 20); fStyledText.setLineBullet(0, fStyledText.getLineCount(), new Bullet(styleRange)); fStyledText.setEnabled(enabled); } }
private void configureStyledText(String text, boolean enabled) { if (fStyledText == null) return; fStyledText.setText(text); int count= fStyledText.getCharCount(); if (count == 0) return; Color foreground= enabled ? null : Display.getDefault().getSystemColor(SWT.COLOR_DARK_GRAY); fStyledText.setStyleRange(new StyleRange(0, count, foreground, null)); StyleRange styleRange= new StyleRange(0, count, foreground, null); styleRange.metrics= new GlyphMetrics(0, 0, 20); fStyledText.setLineBullet(0, fStyledText.getLineCount(), new Bullet(styleRange)); fStyledText.setEnabled(enabled); } }