If I set the `lineNumbers` attribute to false, the UI changes but some cruft is left behind:  It looks related to line folding.
If I set the
lineNumbersattribute to false, the UI changes but some cruft is left behind:It looks related to line folding.