private void handleDrawRequest(GC gc, int x, int y, int w, int h) {
int startLine = fTextWidget.getLineIndex(y);
int endLine = fTextWidget.getLineIndex(y + h - 1);
if (startLine <= endLine && startLine < fTextWidget.getLineCount()) {
Color fgColor = gc.getForeground();
LineAttributes lineAttributes = gc.getLineAttributes();
gc.setForeground(Activator.getDefault().getColor());
gc.setLineStyle(lineStyle);
gc.setLineWidth(lineWidth);
spaceWidth = gc.getAdvanceWidth(' ');
if (fIsAdvancedGraphicsPresent) {
int alpha = gc.getAlpha();
gc.setAlpha(this.lineAlpha);
drawLineRange(gc, startLine, endLine, x, w);
gc.setAlpha(alpha);
} else {
drawLineRange(gc, startLine, endLine, x, w);
}
gc.setForeground(fgColor);
gc.setLineAttributes(lineAttributes);
}
}
IndentGuidePainter.java 文件源码
java
阅读 30
收藏 0
点赞 0
评论 0
项目:IndentGuide
作者:
评论列表
文章目录