I'm running jedit as root, to alter several system files in /etc, some of these files have different owners then root.
When I edit such a file, and save them, jedit set user to root and group to root.
Is there a option to set, that jedit keeps the file permissions?
The second step is not necessary on version 5.0, which will be released this year. This is the related bug report: #1803073