Lennart Kats 191a79245f Merge pull request #1703 from ajaxorg/highlighting/mixed ... Do not loose currentState if tokenizer uses combination of next and push		2013-12-25 02:03:04 -08:00
..
ace	Merge pull request #1703 from ajaxorg/highlighting/mixed	2013-12-25 02:03:04 -08:00