It's not clear if this is a bug report or a feature request. I
want to install jEdit for use in a student lab using
Windows (XP). For security reasons, students are not
allowed to write to the registry. Unfortunately jEdit
launcher is problematic in these circumstances.
Because the jEdit launch parameters are stored under
HKEY_CURRENT_USER rather than
HKEY_LOCAL_MACHINE, when someone tries to use
jEdit on a PC it appears they are a new user. However
the attempt to set up jEdit launch parameters will fail
because a student cannot write to the registry.
What should ideally happen is that jEdit launch
parameters can be stored per-user and per-machine. If
there are no launch parameters for
HKEY_CURRENT_USER, then launch parameters for
HKEY_LOCAL_MACHINE should be checked. Only if
there is nothing at all should the attempt be made to set
up launch paraemters for the user.
The goal should be to have a per-machine setting (that
can be set by an administrator) and a per-user setting
(that can be set by users - if permitted).