Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 18 Jul 2024 23:02:49 +0200] rev 81082
vscode: further adjusted default settings and wordPattern for consistent completion popups;
for some reason wordPattern must be set to match (almost) everything, otherwise completions only pop up every other character, and then we must disable wordBasedSuggestions or it will suggest whole lines out of the document;
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 18 Jul 2024 17:59:50 +0200] rev 81081
lsp: added more triggerCharacters to make completion popups more consistent;
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 18 Jul 2024 01:18:43 +0200] rev 81080
vscode: added default setting to make completions pop up by themselves;
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 18 Jul 2024 22:08:46 +0200] rev 81079
lsp: improved completions;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 17 Jul 2024 21:03:56 +0200] rev 81078
vscode: removed unused code;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 17 Jul 2024 21:02:30 +0200] rev 81077
vscode: removed README because its content is outdated;