evrone/glider — pull request #5 by gdoteof (2013-11-04 22:38:32+00:00)
Title: Highlight fix

this is again for #3.

may not solve the original motivation for turning off highlighting; but globally disabling it seems wrong and was definitely screwing us up.