Closed gilch closed 1 year ago
Better, more consistent highlighting. Also fixes some edge cases introduced by #207.
Better, more consistent highlighting. Also fixes some edge cases introduced by #207.