Wed, 12 Jun 2024 21:14:41 +0200 | Thomas Lindae | vscode: indent; | changeset | files |
Wed, 12 Jun 2024 21:22:01 +0200 | Thomas Lindae | lsp: extracted panel content generation logic; | changeset | files |
Wed, 12 Jun 2024 20:54:11 +0200 | Thomas Lindae | vscode: added all fonts to extension; | changeset | files |
Wed, 12 Jun 2024 20:44:10 +0200 | Thomas Lindae | added vscode options tag; | changeset | files |
Thu, 30 May 2024 02:43:29 +0200 | Thomas Lindae | vscode: tuned; | changeset | files |
Thu, 30 May 2024 02:43:24 +0200 | Thomas Lindae | lsp: refactored non-html dynamic/state output; | changeset | files |
Mon, 27 May 2024 13:21:15 +0200 | Thomas Lindae | vscode: reduced how often symbol width gets measured; | changeset | files |