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

More fixes
Merge branch 'master' of github.com:e-ucm/ead