private void addDocumentListener() { if (styledDocument != null && documentListenerAdded.compareAndSet(false, true)) { styledDocument.addDocumentListener(this); } }
public void propertyChange(PropertyChangeEvent evt) { StyledDocument doc = getDocument(); if (EditorCookie.Observable.PROP_DOCUMENT.equals(evt.getPropertyName()) && isDocumentLoaded() && doc != null) { doc.addDocumentListener(docListener); } } });
private void prepareTextPane() { resetStyles(); parent.setBorder(null); parent.getStyledDocument().addDocumentListener( new DocumentListener() { @Override public void insertUpdate(DocumentEvent e) { handleDocumentUpdated(); } @Override public void removeUpdate(DocumentEvent e) { handleDocumentUpdated(); } @Override public void changedUpdate(DocumentEvent e) { /* NO-OP */ } } ); }
/** Creates new LineListener */ public LineListener(StyledDocument doc, CloneableEditorSupport support) { this.struct = new LineStruct(); root = NbDocument.findLineRootElement(doc); orig = lines = root.getElementCount(); this.support = support; doc.addDocumentListener(WeakListeners.document(this, doc)); }
/** Creates new LineListener */ public LineListener (StyledDocument doc, CloneableEditorSupport support) { this.doc = doc; this.struct = new LineStruct (); root = NbDocument.findLineRootElement (doc); orig = lines = root.getElementCount (); this.support = support; doc.addDocumentListener(org.openide.util.WeakListeners.document (this, doc)); }
@Override public void redo() { editor.getStyledDocument().addDocumentListener( this ); super.redo(); editor.getStyledDocument().removeDocumentListener( this ); }
/** Creates new LineListener */ public LineListener (StyledDocument doc, CloneableEditorSupport support) { this.doc = doc; this.struct = new LineStruct (); root = NbDocument.findLineRootElement (doc); orig = lines = root.getElementCount (); this.support = support; doc.addDocumentListener(org.openide.util.WeakListeners.document (this, doc)); }
@Override public void redo() { editor.getStyledDocument().addDocumentListener( this ); super.redo(); editor.getStyledDocument().removeDocumentListener( this ); }
doc.addDocumentListener(new DocumentListener()
doc.addDocumentListener(new DocumentListener()
public void run() { try { doc.removeDocumentListener(getListener()); doc.remove(0, doc.getLength()); // remove all text doc.addDocumentListener(getListener()); } catch(BadLocationException ble) { ErrorManager.getDefault().notify( ErrorManager.INFORMATIONAL, ble); } } });
public void run() { try { doc.removeDocumentListener(getListener()); doc.remove(0, doc.getLength()); // remove all text doc.addDocumentListener(getListener()); } catch(BadLocationException ble) { ErrorManager.getDefault().notify( ErrorManager.INFORMATIONAL, ble); } } });
public SQLQueryPainter(JTextPane parent) { this.doc = parent.getStyledDocument(); this.parent = parent; prepareStyles(); setupFont(); prepareTextPane(); docListener = new DocumentListener() { @Override public void insertUpdate(DocumentEvent e) { handleDocumentUpdated(); } @Override public void removeUpdate(DocumentEvent e) { handleDocumentUpdated(); } @Override public void changedUpdate(DocumentEvent e) { // NO-OP } }; parent.getStyledDocument().addDocumentListener(docListener); timer = new Timer(200, new ActionListener() { public void actionPerformed(ActionEvent e) { handleTimer(); } }); }
doc.addDocumentListener(getListener());
doc.addDocumentListener(getListener());
terminal.getDocument().addDocumentListener(new DocumentListener() { @Override public void removeUpdate(DocumentEvent e) {choiceIndex = -1;} @Override public void insertUpdate(DocumentEvent e) {choiceIndex = -1;}
lines.setDisabledTextColor(Color.DARK_GRAY); lines.setFont(new Font(Font.MONOSPACED, Font.PLAIN, editorPane.getFont().getSize())); editorPane.getStyledDocument().addDocumentListener(new DocumentListener() { @Override public void changedUpdate(DocumentEvent de) {
NbDocument.markError(doc, pos.getOffset()); doc.addDocumentListener(docL = org.openide.util.WeakListeners.document(listener, doc));
/** Refreshes the current line. * * @deprecated since 1.20. */ synchronized void refreshState () { StyledDocument doc = pos.getCloneableEditorSupport ().getDocument (); if (doc != null) { // the document is in memory, mark the state if (docL != null) { doc.removeDocumentListener (docL); } // error line if (error) { NbDocument.markError (doc, pos.getOffset ()); doc.addDocumentListener (docL = org.openide.util.WeakListeners.document (listener, doc)); return; } // current line if (current) { NbDocument.markCurrent (doc, pos.getOffset ()); return; } // breakpoint line if (breakpoint) { NbDocument.markBreakpoint (doc, pos.getOffset ()); return; } NbDocument.markNormal (doc, pos.getOffset ()); return; } }
/** Refreshes the current line. * * @deprecated since 1.20. */ synchronized void refreshState () { StyledDocument doc = pos.getCloneableEditorSupport ().getDocument (); if (doc != null) { // the document is in memory, mark the state if (docL != null) { doc.removeDocumentListener (docL); } // error line if (error) { NbDocument.markError (doc, pos.getOffset ()); doc.addDocumentListener (docL = org.openide.util.WeakListeners.document (listener, doc)); return; } // current line if (current) { NbDocument.markCurrent (doc, pos.getOffset ()); return; } // breakpoint line if (breakpoint) { NbDocument.markBreakpoint (doc, pos.getOffset ()); return; } NbDocument.markNormal (doc, pos.getOffset ()); return; } }