javax.swing.text.Document.removeUndoableEditListener()方法的使用及代码示例

x33g5p2x  于2022-01-18 转载在 其他  
字(6.4k)|赞(0)|评价(0)|浏览(119)

本文整理了Java中javax.swing.text.Document.removeUndoableEditListener()方法的一些代码示例,展示了Document.removeUndoableEditListener()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Document.removeUndoableEditListener()方法的具体详情如下:
包路径:javax.swing.text.Document
类名称:Document
方法名:removeUndoableEditListener

Document.removeUndoableEditListener介绍

暂无

代码示例

代码示例来源:origin: bobbylight/RSyntaxTextArea

/**
 * Serializes this text area.
 *
 * @param s The stream to write to.
 * @throws IOException If an IO error occurs.
 */
private void writeObject(ObjectOutputStream s) throws IOException {
  // UndoManagers cannot be serialized without Exceptions.  See
  // http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4275892
  getDocument().removeUndoableEditListener(undoManager);
  s.defaultWriteObject();
  getDocument().addUndoableEditListener(undoManager);
}

代码示例来源:origin: bobbylight/RSyntaxTextArea

/**
 * Sets the document used by this text area.
 *
 * @param document The new document to use.
 * @throws IllegalArgumentException If the document is not an instance of
 *         {@link RDocument}.
 */
@Override
public void setDocument(Document document) {
  if (!(document instanceof RDocument)) {
    throw new IllegalArgumentException("RTextArea requires " +
      "instances of RDocument for its document");
  }
  if (undoManager!=null) { // First time through, undoManager==null
    Document old = getDocument();
    if (old!=null) {
      old.removeUndoableEditListener(undoManager);
    }
  }
  super.setDocument(document);
  if (undoManager!=null) {
    document.addUndoableEditListener(undoManager);
    discardAllEdits();
  }
}

代码示例来源:origin: bobbylight/RSyntaxTextArea

/**
 * Removes all undoable edits from this document's undo manager.  This
 * method also makes the undo/redo actions disabled.
 */
/*
 * NOTE:  For some reason, it appears I have to create an entirely new
 *        <code>undoManager</code> for undo/redo to continue functioning
 *        properly; if I don't, it only ever lets you do one undo.  Not
 *        too sure why this is...
 */
public void discardAllEdits() {
  undoManager.discardAllEdits();
  getDocument().removeUndoableEditListener(undoManager);
  undoManager = createUndoManager();
  getDocument().addUndoableEditListener(undoManager);
  undoManager.updateActions();
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-editor

void unregisterListeners()
{
 _editor.getDocument().removeUndoableEditListener( _docListener );
 _editor.removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: net.sf.squirrel-sql/squirrel-sql

public void removeUndoableEditListener(UndoableEditListener lis)
{
  _comp.getDocument().removeUndoableEditListener(lis);
}

代码示例来源:origin: org.codehaus.jtstand/jtstand-desktop

public void propertyChange(PropertyChangeEvent evt) {
  String name = evt.getPropertyName();
  if (name.equals("document")) {
    Document doc = (Document)evt.getOldValue();
    if (doc != null) {
      doc.removeUndoableEditListener(getUndoableEditListener());
    }
    doc = (Document)evt.getNewValue();
    if (doc != null) {
      doc.addUndoableEditListener(getUndoableEditListener());
    }
  }
}

代码示例来源:origin: com.haulmont.thirdparty/swingx-core

@Override
public void propertyChange(PropertyChangeEvent evt) {
  String name = evt.getPropertyName();
  if (name.equals("document")) {
    Document doc = (Document)evt.getOldValue();
    if (doc != null) {
      doc.removeUndoableEditListener(getUndoableEditListener());
    }
    doc = (Document)evt.getNewValue();
    if (doc != null) {
      doc.addUndoableEditListener(getUndoableEditListener());
    }
  }
}

代码示例来源:origin: org.nuiton/nuiton-widgets

static protected void removeUndoRedoSupport(JEditorPane editor) {
  UndoManager undo = (UndoManager) editor.getClientProperty(UNDO_MANAGER);
  if (undo != null) {
    Document doc = editor.getDocument();
    doc.removeUndoableEditListener(undo);
  }
}

代码示例来源:origin: io.ultreia.java4all.jaxx/jaxx-widgets-extra

static protected void removeUndoRedoSupport(JEditorPane editor) {
  UndoManager undo = (UndoManager) editor.getClientProperty(UNDO_MANAGER);
  if (undo != null) {
    Document doc = editor.getDocument();
    doc.removeUndoableEditListener(undo);
  }
}

代码示例来源:origin: org.apache.cayenne.modeler/cayenne-modeler

@Override
  public void setText(String t) {
    this.getDocument().removeUndoableEditListener(this.undoListener);
    try {
      super.setText(t);
    }
    finally {
      this.getDocument().addUndoableEditListener(this.undoListener);
    }
  }
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-lab

@Override
protected void unregisterListeners()
{
 getEditor().getDocument().removeUndoableEditListener( _docListener );
 getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.apache.cayenne.modeler/cayenne-modeler

@Override
  public void setText(String t) {
    getDocument().removeUndoableEditListener(this.undoListener);

    try {
      super.setText(t);
    } finally {
      getDocument().addUndoableEditListener(this.undoListener);
    }
  }
}

代码示例来源:origin: org.opentcs.thirdparty.jhotdraw/jhotdraw

@Override
  public void run() {
    editor.getDocument().removeUndoableEditListener(undoManager);
    editor.setDocument(newDocument);
    newDocument.addUndoableEditListener(undoManager);
    undoManager.discardAllEdits();
  }
});

代码示例来源:origin: org.gosu-lang.gosu/gosu-lab

void unregisterListeners()
{
 _editor.getEditor().getDocument().removeUndoableEditListener( _docListener );
 _editor.getEditor().removeCaretListener( _editorCaretListener );
 _editor.getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-editor

void unregisterListeners()
{
 getEditor().getEditor().getDocument().removeUndoableEditListener( _docListener );
 getEditor().getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-editor

void unregisterListeners()
{
 getEditor().getEditor().getDocument().removeUndoableEditListener( _docListener );
 getEditor().getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-lab

void unregisterListeners()
{
 getEditor().getEditor().getDocument().removeUndoableEditListener( _docListener );
 getEditor().getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-editor

void unregisterListeners()
{
 _editor.getEditor().getDocument().removeUndoableEditListener( _docListener );
 _editor.getEditor().removeCaretListener( _editorCaretListener );
 _editor.getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: org.gosu-lang.gosu/gosu-lab

void unregisterListeners()
{
 getEditor().getEditor().getDocument().removeUndoableEditListener( _docListener );
 getEditor().getEditor().removeKeyListener( _editorKeyListener );
}

代码示例来源:origin: igniterealtime/Spark

/**
 * Remove dependices when no longer in use.
 */
public void close() {
  getDocument().removeDocumentListener(this);
  getDocument().removeUndoableEditListener(undoManager);
  removeMouseListener(this);
  getInputMap().remove(undoKeyStroke);
  getInputMap().remove(ctrlbackspaceKeyStroke);
  getInputMap().remove(escapeKeyStroke);
  getInputMap().remove(KeyStroke.getKeyStroke("Ctrl W"));
}

相关文章