Skip to content

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

Christoph Cullmann requested to merge work/improve_border_rendering into master

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

Merge request reports