Editor colour preferences#39

Closed

gurok wants to merge 1 commit into

Nodeclipse:masterfrom

Commits on May 16, 2013

Rudimentary preferences for editor colours. No property change listeners
gurok
committed