Option to lock file for write when editing
Submitted by Friday, 4 June, 2004 - 15:29
on
If this optional setting is enabled, jedit should lock the file opened for write, so others can not modify that file.
This is a useful setting in editors, and missing from jedit
This is a useful setting in editors, and missing from jedit