Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid output showing up in kill ring (via TextArea.setText, JEditBuffer.remove, UndoManager.contentRemoved), e.g. relevant for action "paste-deleted";
Changeset 68060:3931ed905e93 by wenzelm:
avoid output showing up in kill ring (via TextArea.setText, JEditBuffer.remove, UndoManager.contentRemoved), e.g. relevant for action "paste-deleted";
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)