colorer/EclipseColorer — pull request #6 by paulvi (2014-12-01 03:35:23+00:00)
Title: Colorer Editors should not be default as they are unlikely to superpass ...

...those specific editors (when they are installed)