| Sun, 30 Jun 2024 15:32:51 +0200 | Thomas Lindae | lsp: tuned; | changeset | files |
| Sun, 30 Jun 2024 15:32:45 +0200 | Thomas Lindae | lsp: removed code that is never run; | changeset | files |
| 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; | changeset | files |
| Sun, 30 Jun 2024 15:32:32 +0200 | Thomas Lindae | clarified PIDE/line range conversions; | changeset | files |
| Sun, 30 Jun 2024 15:32:26 +0200 | Thomas Lindae | lsp: refactored conversion from Decoration_List to JSON; | changeset | files |
| Sun, 30 Jun 2024 15:32:19 +0200 | Thomas Lindae | lsp: tuned pretty_text_panel; | changeset | files |
| Sun, 30 Jun 2024 15:32:12 +0200 | Thomas Lindae | lsp: removed output_pretty_panel function as its logic is now in pretty_text_panel; | changeset | files |