Plugin breaks autocomplete

[jvanbruegge]

When using this plugin, the normal isabelle autocomplete for e.g. UTF-8 symbols can't be used any more. Pressing tab to use the suggestion just inserts a new tab character (in insert mode), it does not use the suggestion

[nielstron]

I have noticed this. A temporary workaround is to select the autocomplete suggestion with a mouse click.

A better workaround is perhaps switching back to the "default" input handler in insert mode. However I am not sure yet on how to accomplish that.

UPDATE: I have switched to using the "default" input handler (whichever was being used before) in insert mode, but this issue could not be resolved