#645 Standardize notable color properties wrt. getColorHexString

[Makarius]

This is an attempt to reduce redundant entries in user properties (file "properties" in the settings directory).

The problem is that color defaults use RGB without ALPHA, but SyntaxUtilities.getColorHexString() will add a prefix "#ff" for that. Thus most color properties end up in the user properties file, even without an actual change of the value.

The patch adjusts the default jEdit colors to coincide with the ARGB format of SyntaxUtilities.getColorHexString(). Note that this does not cover plugin properties: that would require more profound changes, for example to have getColorHexString() omit a redundant "#ff" prefix.