| Wed, 02 Oct 2024 10:39:32 +0200 | Fabian Huch | minor tuning; | file | diff | annotate |
| Sun, 30 Jun 2024 15:32:51 +0200 | Thomas Lindae | lsp: tuned; | file | diff | annotate |
| Sun, 30 Jun 2024 15:32:39 +0200 | Thomas Lindae | lsp: created distinction for unicode symbols setting between output and edits and clarified output text functions; | file | diff | annotate |
| Sun, 30 Jun 2024 15:32:26 +0200 | Thomas Lindae | lsp: refactored conversion from Decoration_List to JSON; | file | diff | annotate |
| Sun, 30 Jun 2024 15:32:19 +0200 | Thomas Lindae | lsp: tuned pretty_text_panel; | file | diff | annotate |
| Fri, 14 Jun 2024 10:21:03 +0200 | Thomas Lindae | lsp: added Pretty_Text_Panel module; | file | diff | annotate |