public class EditorPainter extends java.lang.Object implements TextDrawingCallback
| Modifier and Type | Method and Description |
|---|---|
void |
drawChars(java.awt.Graphics g,
char [] data,
int start,
int end,
int x,
int y,
java.awt.Color color,
FontInfo fontInfo)
Asks to draw symbols from
[start; end) range of given char array at given graphics buffer using given
font info and color. |
static boolean |
isMarginShown(Editor editor) |
public void drawChars(java.awt.Graphics g,
char [] data,
int start,
int end,
int x,
int y,
java.awt.Color color,
FontInfo fontInfo)
TextDrawingCallback[start; end) range of given char array at given graphics buffer using given
font info and color.drawChars in interface TextDrawingCallbackg - graphics buffer to usedata - target symbols holderstart - start offset within the symbols holder to use (inclusive)end - end offset within the symbols holder to use (inclusive)x - 'x' coordinate to use as a start position at the given graphics buffery - 'y' coordinate to use as a start position at the given graphics buffercolor - color to use during drawing target text at the given graphics bufferfontInfo - font info to use during drawing target text at the given graphics bufferpublic static boolean isMarginShown(Editor editor)