processing/processing — pull request #4 by Manindra29 (2013-02-01 14:43:40+00:00)
Title: textarea painter update bug fix.

Textarea, EditorStatus weren't getting updated correctly on switching tabs before.