| Wed, 15 May 2024 17:04:22 +0200 | Thomas Lindae | lsp: added conversion of symbols for dynamic output so that decoration ranges consider vscode_unicode_symbols setting; | changeset | files |
| Wed, 15 May 2024 16:54:39 +0200 | Thomas Lindae | lsp: unified PIDE/decorations and dynamic output decorations format; | changeset | files |
| Wed, 15 May 2024 00:11:34 +0200 | Thomas Lindae | vscode: changed test_string to "mix" to be consistent with jEdit; | changeset | files |
| Thu, 16 May 2024 12:00:05 +0200 | Thomas Lindae | lsp: added decorations to dynamic output; | changeset | files |
| Thu, 09 May 2024 22:24:19 +0200 | Thomas Lindae | lsp: force update after state_set_margin; | changeset | files |
| Thu, 30 May 2024 02:45:01 +0200 | Thomas Lindae | vscode: added dynamic and state output set margin messages to vscode extension; | changeset | files |