2c8049270a
This PR contains some small improvements for the language server log editors. Due to the large gutter as well as the introduction of the minimap, the horizontally available space was rather small. As these editors soft wrap at the editor width, it resulted in the logs becoming vertically larger and somewhat harder to read. The improvement here is to disable all elements in the gutter that will never appear or be used in the logs anyway. Furthermore, I opted to disable the minimap altogether, since from my point of view it did not contain any valuable information about the logs being shown. First image is the current main, second is this branch. I put these below each other so the difference is easier to spot.   Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| src | ||
| Cargo.toml | ||
| LICENSE-GPL | ||