Added attribute to Color event.
Renamed and added minor fix in text editor pane
Now the navigation pane isn't painted
Merge pull request #891 from gorco/moreFixes

More fixes