wuwi/cahoots — pull request #3 by webkodierer (2014-10-10 00:57:20+00:00)
Title: changes in highlight function

faster highlighting