Thu, 18 Jul 2024 23:02:49 +0200 vscode: further adjusted default settings and wordPattern for consistent completion popups;
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;
Thu, 18 Jul 2024 17:59:50 +0200 lsp: added more triggerCharacters to make completion popups more consistent;
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;
Thu, 18 Jul 2024 01:18:43 +0200 vscode: added default setting to make completions pop up by themselves;
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;
Thu, 18 Jul 2024 22:08:46 +0200 lsp: improved completions;
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 18 Jul 2024 22:08:46 +0200] rev 81079
lsp: improved completions;
Wed, 17 Jul 2024 21:03:56 +0200 vscode: removed unused code;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 17 Jul 2024 21:03:56 +0200] rev 81078
vscode: removed unused code;
Wed, 17 Jul 2024 21:02:30 +0200 vscode: removed README because its content is outdated;
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip