Skip to content
GitLab

move separator from between icon border and line numbers to between bar and text

Merged Christoph Cullmann requested to merge work/improve_border_rendering into master

this make the distinction between text area and border working for all themes