Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned for release;
  2. clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);
Changeset 70168:e79bbf86a984 by wenzelm:
tuned for release;
The file was modified NEWS (diff)
Changeset 70167:b33f28c81ba9 by wenzelm:
clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)