Matthew Martin d9e326b993 main: consume trailing whitespace in _highlight_list
Fixes highlighting when an unclosed $( ends in whitespace.
2018-10-22 07:53:18 -05:00
..
2018-10-20 20:57:45 -05:00
2018-10-20 20:57:45 -05:00
2016-09-25 08:11:01 +00:00
2016-09-25 08:11:01 +00:00
2016-09-25 08:11:01 +00:00
2018-03-10 10:25:18 -06:00
2018-10-10 22:19:41 -05:00
2016-05-05 12:28:43 -05:00
2016-05-05 12:28:43 -05:00