| Thu, 18 Jul 2024 22:08:46 +0200 | Thomas Lindae | lsp: improved completions; | changeset | files |
| Wed, 17 Jul 2024 21:03:56 +0200 | Thomas Lindae | vscode: removed unused code; | changeset | files |
| Wed, 17 Jul 2024 21:02:30 +0200 | Thomas Lindae | vscode: removed README because its content is outdated; | changeset | files |
| Wed, 17 Jul 2024 20:56:27 +0200 | Thomas Lindae | vscode: disabled whitespace rendering by default because the whitespace symbol is not monospace; | changeset | files |