org.omegat.gui.editor

Class DocumentFilter3

java.lang.Object

javax.swing.text.DocumentFilter

org.omegat.gui.editor.DocumentFilter3

public class DocumentFilter3
extends javax.swing.text.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

javax.swing.text.DocumentFilter.FilterBypass

Constructor Summary

Constructors

Constructor and Description
DocumentFilter3()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DocumentFilter3

public DocumentFilter3()

Method Detail

remove

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

Overrides:

remove in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException

insertString

public void insertString(javax.swing.text.DocumentFilter.FilterBypass fb,
                         int offset,
                         java.lang.String string,
                         javax.swing.text.AttributeSet attr)
                  throws javax.swing.text.BadLocationException

Overrides:

insertString in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException

replace

public void replace(javax.swing.text.DocumentFilter.FilterBypass fb,
                    int offset,
                    int length,
                    java.lang.String text,
                    javax.swing.text.AttributeSet attrs)
             throws javax.swing.text.BadLocationException

Overrides:

replace in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException