public class TagToMarkedTextStore
extends java.lang.Object
Constructor and Description |
---|
TagToMarkedTextStore() |
Modifier and Type | Method and Description |
---|---|
void |
appendPosition(java.lang.String tag,
int start,
int end)
appends a selection propertie for tag
|
void |
insertPosition(java.lang.String tag,
int start,
int end)
insert selection propertie for tag, old entries were deleted
|
void |
setStyleForTag(java.lang.String tag,
java.lang.String style,
javax.swing.text.StyledDocument doc)
set the Style for the tag if an entry is available
|
public void appendPosition(java.lang.String tag, int start, int end)
public void insertPosition(java.lang.String tag, int start, int end)
public void setStyleForTag(java.lang.String tag, java.lang.String style, javax.swing.text.StyledDocument doc)