Nodeclipse/nodeclipse-1 — pull request #39 by gurok (2013-05-16 14:00:51+00:00)
Title: Editor colour preferences

Rudimentary preferences for editor colours. No property change listeners yet, so the editor(s) must be restarted for colour changes to take effect.