Fix issue where invalid-handler causes app to 'freeze'.
Fix issue where invalid-handler causes app to 'freeze'.

Because none of the events are connected properly.

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean