This repository was archived by the owner on Mar 13, 2018. It is now read-only.
This repository was archived by the owner on Mar 13, 2018. It is now read-only.
setting lineNumbers=false leaves UI cruft #5
Description
If I set the lineNumbers attribute to false, the UI changes but some cruft is left behind:
It looks related to line folding.