Fixed: tokens not escaped in highlight_tokens regexp (#1702).
Authored by: jplang 2008-07-28
Parent: [r1708]
Child: [r1710]