|
Groovy Documentation | |||||||
| FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectcom.wordpress.tipsforjava.swing.text.ProtectedDocument
public class ProtectedDocument extends Object
| Nested Class Summary | |
|---|---|
class |
ProtectedDocument.ProtectedDocumentFilter
|
class |
ProtectedDocument.ProtectedNavigationFilter
|
| Field Summary | |
|---|---|
private AbstractDocument |
doc
|
private Map |
positions
|
| Constructor Summary | |
ProtectedDocument(JTextComponent component)
|
|
| Method Summary | |
|---|---|
void
|
protect(int start, int end)
|
| Methods inherited from class Object | |
|---|---|
| wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll |
| Field Detail |
|---|
private AbstractDocument doc
private Map positions
| Constructor Detail |
|---|
public ProtectedDocument(JTextComponent component)
| Method Detail |
|---|
public void protect(int start, int end)
Groovy Documentation