Open devoncarew opened 9 years ago
If I set the lineNumbers attribute to false, the UI changes but some cruft is left behind:
lineNumbers
It looks related to line folding.
If I set the
lineNumbers
attribute to false, the UI changes but some cruft is left behind:It looks related to line folding.