see https://github.com/guari/eclipse-ui-theme/pull/52 http://editbox.sourceforge.net/ I think it is great idea. It is also completion to @eclipse-color-theme 
see guari/eclipse-ui-theme#52
http://editbox.sourceforge.net/
I think it is great idea. It is also completion to @eclipse-color-theme