Groovy Documentation

com.wordpress.tipsforjava.swing.text
[Java] Class ProtectedDocument

java.lang.Object
  com.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

doc

private AbstractDocument doc


positions

private Map positions


 
Constructor Detail

ProtectedDocument

public ProtectedDocument(JTextComponent component)


 
Method Detail

protect

public void protect(int start, int end)


 

Groovy Documentation