# HG changeset patch # User wenzelm # Date 1381353116 -7200 # Node ID 219dd1028399d49dc5708af1b22f0bf5848015b5 # Parent 1bdd8f541a066ee7b8529fab511285011f727a8e NEWS; diff -r 1bdd8f541a06 -r 219dd1028399 NEWS --- a/NEWS Wed Oct 09 23:06:23 2013 +0200 +++ b/NEWS Wed Oct 09 23:11:56 2013 +0200 @@ -76,6 +76,11 @@ Isabelle/jEdit plugin instead of SideKick. Refined table of Isabelle symbol abbreviations (see $ISABELLE_HOME/etc/symbols). +* Standard jEdit keyboard shortcut C+b complete-word is remapped to +isabelle.complete for explicit completion in Isabelle sources. +INCOMPATIBILITY wrt. jEdit defaults, may have to invent new shortcuts +to resolve conflict. + * Improved support of various "minor modes" for Isabelle NEWS, options, session ROOT etc., with completion and SideKick tree view.