private void paintLineExtensions(Graphics2D g, int line, float x, int y) {
Project project = myEditor.getProject();
VirtualFile virtualFile = myEditor.getVirtualFile();
if (project == null || virtualFile == null) return;
for (EditorLinePainter painter : EditorLinePainter.EP_NAME.getExtensions()) {
Collection<LineExtensionInfo> extensions =
painter.getLineExtensions(project, virtualFile, line);
if (extensions != null) {
for (LineExtensionInfo info : extensions) {
LineLayout layout =
new LineLayout(myView, info.getText(), info.getFontType(), g.getFontRenderContext());
g.setColor(info.getColor());
x =
paintLineLayoutWithEffect(
g, layout, x, y, info.getEffectColor(), info.getEffectType());
int currentLineWidth = (int) x;
EditorSizeManager sizeManager = myView.getSizeManager();
if (currentLineWidth > sizeManager.getMaxLineWithExtensionWidth()) {
sizeManager.setMaxLineWithExtensionWidth(line, currentLineWidth);
}
}
}
}
}