more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a);

--- a/src/Tools/jEdit/src/jEdit.props	Fri Sep 11 12:17:19 2020 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Sep 11 12:56:01 2020 +0200
@@ -337,6 +337,7 @@
 view.height=850
 view.middleMousePaste=true
 view.showToolbar=true
+view.status.memory.background=#666699
 view.status=( mode , fold , encoding ) locked wrap multiSelect rectSelect overwrite lineSep buffersets task-monitor java-status ml-status errors clock
 view.thickCaret=true
 view.width=1200