Niels Mündler (Apr 18 2021 at 13:01): Niels Mündler (Apr 18 2021 at 13:01):Hey everyone,
I ported the Vimulator plugin to jEdit 5 (that is, the version that the Isabelle 2021 uses) and adjusted it a bit. It works quite well except for the fact that Isabelle abbrevations are not expanded anymore when pressing "Tab". For example typing "\sub" and then Tab will not expand the suggested unicode.
Does anyone by chance happens to know which plugin enables these abbreviation previews and handles the expanding? Maybe I can write a workaround for this issue. I assume it is some part of the Isabelle Plugin for jEdit but did not find the responsible Code/Module...
Last updated: Apr 19 2024 at 04:17 UTC