public Object getProperty(Object key) { if (key == DocumentFilter.class && original instanceof AbstractDocument) { return ((AbstractDocument)original).getDocumentFilter(); } return original.getProperty(key); }
private void installDocumentListener() { if (property != PROPERTY_BASE) { return; } boolean useDocumentFilter = !(component instanceof JFormattedTextField); if (useDocumentFilter && (document instanceof AbstractDocument) && ((AbstractDocument)document).getDocumentFilter() == null) { ((AbstractDocument)document).setDocumentFilter(handler); installedFilter = true; } else { document.addDocumentListener(handler); installedFilter = false; } }
private void installDocumentListener() { if (property != PROPERTY_BASE) { return; } boolean useDocumentFilter = !(component instanceof JFormattedTextField); if (useDocumentFilter && (document instanceof AbstractDocument) && (((AbstractDocument) document).getDocumentFilter() == null)) { ((AbstractDocument) document).setDocumentFilter(handler); installedFilter = true; } else { document.addDocumentListener(handler); installedFilter = false; } }
private void uninstallDocumentListener() { if (property != PROPERTY_BASE) { return; } if (installedFilter) { AbstractDocument ad = (AbstractDocument)document; if (ad.getDocumentFilter() == handler) { ad.setDocumentFilter(null); } } else { document.removeDocumentListener(handler); } }
private void uninstallDocumentListener() { if (property != PROPERTY_BASE) { return; } if (installedFilter) { AbstractDocument ad = (AbstractDocument) document; if (ad.getDocumentFilter() == handler) { ad.setDocumentFilter(null); } } else { document.removeDocumentListener(handler); } }
@Override public void actionPerformed(ActionEvent e) { DocumentFilter old = ((AbstractDocument) text.getDocument()).getDocumentFilter(); ((AbstractDocument) text.getDocument()).setDocumentFilter(new DocumentFilter()); text.setText("You clicked!");
ex.printStackTrace(System.err); FieldFilter filter = (FieldFilter) doc.getDocumentFilter(); filter.reset();
public void stateChanged(ChangeEvent e) { System.out.println("Key spinner changed to: " + myspinner.getValue()); EncryptFilter filter = (EncryptFilter) ((AbstractDocument) area2.getDocument()).getDocumentFilter(); filter.setKey((int)myspinner.getValue()); area2.setText(area1.getText());
DocumentFilter df = document.getDocumentFilter(); document.setDocumentFilter( null );
private void configureEditor(JTextComponent textComponent) { if (getTextComponent() != null) { getTextComponent().removeKeyListener(_editorKeyListener); // getTextComponent().removeFocusListener(_editorFocusListener); } if (textComponent != null) { _textComponent = textComponent; getTextComponent().addKeyListener(_editorKeyListener); // getTextComponent().addFocusListener(_editorFocusListener); String text = getTextComponent().getText(); _oldDocument = getTextComponent().getDocument(); if (_oldDocument instanceof AbstractDocument && _document != null) { _document.setDocumentFilter(((AbstractDocument) _oldDocument).getDocumentFilter()); } getTextComponent().setDocument(_document); getTextComponent().setText(text); } }
clsNameDocumentFilter = new ClsNameDocumentFilter(); if (doc.getDocumentFilter() != clsNameDocumentFilter) { doc.setDocumentFilter(clsNameDocumentFilter);
public void joinLines() { DocumentFilter documentFilter = getDocument().getDocumentFilter(); if( documentFilter == null || ((SimpleDocumentFilter)documentFilter).acceptEdit( "" ) ) { CompoundEdit undoAtom = getUndoManager().beginUndoAtom( "Join Lines" ); try { _joinLines(); } finally { getUndoManager().endUndoAtom( undoAtom ); } } }
public void duplicate() { DocumentFilter documentFilter = getDocument().getDocumentFilter(); if( documentFilter == null || ((SimpleDocumentFilter)documentFilter).acceptEdit( "" ) ) { CompoundEdit undoAtom = _undoMgr.getUndoAtom(); if( undoAtom != null && undoAtom.getPresentationName().equals( "Text Change" ) ) { _undoMgr.endUndoAtom(); } undoAtom = getUndoManager().beginUndoAtom( "Duplicate Line" ); try { _duplicate(); } finally { getUndoManager().endUndoAtom( undoAtom ); } } }
if (d instanceof AbstractDocument) { AbstractDocument aDoc = (AbstractDocument) d; DocumentFilter origFilter = aDoc.getDocumentFilter(); docFilter = new DocFilter(origFilter); aDoc.setDocumentFilter(docFilter);
if( iRet == 0 || iRet == 2 ) DocumentFilter documentFilter = ((AbstractDocument)editor.getDocument()).getDocumentFilter(); if( documentFilter instanceof SimpleDocumentFilter && !((SimpleDocumentFilter)documentFilter).acceptEdit( "" ) )