public class SyntaxView
extends javax.swing.text.PlainView
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROPERTY_RIGHT_MARGIN_COLOR |
static java.lang.String |
PROPERTY_RIGHT_MARGIN_COLUMN |
static java.lang.String |
PROPERTY_SINGLE_COLOR_SELECT |
Constructor and Description |
---|
SyntaxView(javax.swing.text.Element element,
Configuration config)
Construct a new view using the given configuration and prefix given
|
Modifier and Type | Method and Description |
---|---|
protected int |
drawSelectedText(java.awt.Graphics graphics,
int x,
int y,
int p0,
int p1) |
protected int |
drawUnselectedText(java.awt.Graphics graphics,
int x,
int y,
int p0,
int p1) |
static void |
setRenderingHits(java.awt.Graphics2D g2d)
Sets the Rendering Hints o nthe Graphics.
|
protected void |
updateDamage(javax.swing.event.DocumentEvent changes,
java.awt.Shape a,
javax.swing.text.ViewFactory f) |
changedUpdate, damageLineRange, drawLine, getLineBuffer, getPreferredSpan, getTabSize, insertUpdate, lineToRect, modelToView, nextTabStop, paint, removeUpdate, setSize, updateMetrics, viewToModel
append, breakView, createFragment, forwardUpdate, forwardUpdateToView, getAlignment, getAttributes, getBreakWeight, getChildAllocation, getContainer, getDocument, getElement, getEndOffset, getGraphics, getMaximumSpan, getMinimumSpan, getNextVisualPositionFrom, getParent, getResizeWeight, getStartOffset, getToolTipText, getView, getViewCount, getViewFactory, getViewIndex, getViewIndex, insert, isVisible, modelToView, modelToView, preferenceChanged, remove, removeAll, replace, setParent, updateChildren, updateLayout, viewToModel
public static final java.lang.String PROPERTY_RIGHT_MARGIN_COLOR
public static final java.lang.String PROPERTY_RIGHT_MARGIN_COLUMN
public static final java.lang.String PROPERTY_SINGLE_COLOR_SELECT
public SyntaxView(javax.swing.text.Element element, Configuration config)
element
- config
- protected int drawUnselectedText(java.awt.Graphics graphics, int x, int y, int p0, int p1)
drawUnselectedText
in class javax.swing.text.PlainView
protected int drawSelectedText(java.awt.Graphics graphics, int x, int y, int p0, int p1) throws javax.swing.text.BadLocationException
drawSelectedText
in class javax.swing.text.PlainView
javax.swing.text.BadLocationException
public static void setRenderingHits(java.awt.Graphics2D g2d)
g2d
- protected void updateDamage(javax.swing.event.DocumentEvent changes, java.awt.Shape a, javax.swing.text.ViewFactory f)
updateDamage
in class javax.swing.text.PlainView