Tidying up
Changed section Colors => Grid Colors in settings.cfg, added migration to new settings version
Text Edit: colors and font size come from settings
Text Edit: better labels
Text Edit: Changed font
Text edit preferences: added reset to default-button for colors