Closed ysb33r closed 7 years ago
Seemingly the best way to fix this is to unset any source-highligther attribute.
source-highligther