javax.swing.SwingConstants
, javax.swing.text.TabExpander
public class SyntaxView
extends javax.swing.text.PlainView
Modifier and Type | Field | 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 | Description |
---|---|
SyntaxView(javax.swing.text.Element element,
Configuration config) |
Construct a new view using the given configuration and prefix given
|
Modifier and Type | Method | 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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
changedUpdate, damageLineRange, drawLine, drawLine, drawSelectedText, drawUnselectedText, 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