Fix jagged parentheses (#2234)

* Fix jagged parentheses

* Update screenshots

* Coordinate overlap with repeat element length.

* Fix lint error.

Co-authored-by: Erik Demaine <edemaine@mit.edu>
This commit is contained in:
Ron Kok
2020-07-08 15:20:42 -07:00
committed by GitHub
parent 3272472ffe
commit d6e8575942
6 changed files with 26 additions and 4 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 7.5 KiB

After

Width:  |  Height:  |  Size: 17 KiB