| changeset 69781 | a7529ac9c1c5 |
| parent 69774 | 8608928e54ab |
| child 69798 | f610115ca3d0 |
--- a/src/Tools/jEdit/src/jEdit.props Thu Jan 31 22:53:35 2019 +0100 +++ b/src/Tools/jEdit/src/jEdit.props Fri Feb 01 15:02:36 2019 +0100 @@ -290,7 +290,6 @@ toggle-multi-select.shortcut2=C+NUMBER_SIGN toggle-rect-select.shortcut2=A+NUMBER_SIGN twoStageSave=false -vfs.browser.defaultPath=favorites vfs.browser.dock-position=left vfs.favorite.0.type=1 vfs.favorite.0=$ISABELLE_HOME