search

des105f16 / Editor

0 stars 0 forks source link

Fix highlighting "jitter" #39

Closed deaddog closed 8 years ago

deaddog commented 8 years ago

The various highlighting styles swap - fix it!