removed IOldErlangProjectProperties interface (not needed)
145: Color preferences dialog: "enable" box is confusing
Merge pull request #93 from vladdu/598-double-outline

598: refresh gives double outline
1103: NPE when doing global search