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)