#80 Re-color after moving cursor

[Anonymous]

Example: comment out a line by putting // at the beginning, then use the arrow keys or keyboard to switch to another line. Nothing happens. You have to type a space or something on the line to get it to recolor. At the very least, the up/down arrow keys and clicking with the mouse should cause the coloring to activate.