Merge pull request OpenCoverUI#94 from pver/issue_86

Added tool selection help

Merge pull request OpenCoverUI#73 from pver/texteditorsettings

Prefixed Text Editor Color Settings Labels