vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard
verified publisher icon tlaplus

Turning off/Minimizing "Outline" disables code completion

Open lemmy opened this issue 4 years ago • 3 comments

Peek 2021-06-17 16-16

lemmy avatar Jun 17 '21 23:06 lemmy

@lemmy, does it happen in all specs? In all parts of the spec? I can't reproduce this issue.

alygin avatar Jul 11 '21 14:07 alygin

Will try to reproduce.

lemmy avatar Jul 11 '21 16:07 lemmy

I haven't checked with all specifications. However, it is definitely reproducible (iff VSCode launches with a collapsed Outline).

lemmy avatar Aug 18 '21 21:08 lemmy