Stream: General

Topic: jEdit Plugin for Isabelle Symbol suggestions


view this post on Zulip 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: Aug 15 2022 at 02:13 UTC