Command insertNewlineAndIndent() causes a view bug, unless used with highlightActiveLine() extension

v6
14

@marijn So what’s our plan on this?