Package org.omegat.gui.editor

Class DocumentFilter3

java.lang.Object

javax.swing.text.DocumentFilter

org.omegat.gui.editor.DocumentFilter3

public class DocumentFilter3
extends DocumentFilter

Own implementation of DocumentFilter. It required for disable for user's edit text outside translation.

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.DocumentFilter

DocumentFilter.FilterBypass

Constructor Summary

Constructors

Constructor	Description
DocumentFilter3()

Method Summary

Modifier and Type	Method	Description
void	insertString(DocumentFilter.FilterBypass fb, int offset, String string, @Nullable AttributeSet attr)
void	remove(DocumentFilter.FilterBypass fb, int offset, int length)
void	replace(DocumentFilter.FilterBypass fb, int offset, int length, String text, @Nullable AttributeSet attrs)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DocumentFilter3

public DocumentFilter3()

Method Details

remove

public void remove(DocumentFilter.FilterBypass fb,
 int offset,
 int length)
            throws BadLocationException

Overrides:

remove in class DocumentFilter

Throws:

BadLocationException

insertString

public void insertString(DocumentFilter.FilterBypass fb,
 int offset,
 String string,
 @Nullable AttributeSet attr)
                  throws BadLocationException

Overrides:

insertString in class DocumentFilter

Throws:

BadLocationException

replace

public void replace(DocumentFilter.FilterBypass fb,
 int offset,
 int length,
 String text,
 @Nullable AttributeSet attrs)
             throws BadLocationException

Overrides:

replace in class DocumentFilter

Throws:

BadLocationException