| changeset 72253 | 1b01c626a441 |
| parent 72249 | 4bf8a8a2d2ad |
| child 72930 | 0cc298e29aff |
--- 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