ProofScriptParser issueshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues2018-10-05T19:11:46+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/52Autocompletion does not work as intended2018-10-05T19:11:46+02:00sarah.grebingAutocompletion does not work as intendedIt is impossible to choose the suggestions by the autocompletion using mouse or keyboard.
The input events are not handled.It is impossible to choose the suggestions by the autocompletion using mouse or keyboard.
The input events are not handled.tk5165tk5165