Re: [ jEdit-users ] "dead" keys in jEdit

[Slava P. <sl...@je...>]

On Fri, 2002-08-09 at 19:37, Reinout van Schouwen wrote:
> [error] main: 10-aug-2002 1:36:34 java.util.prefs.FileSystemPreferences$3
> run
> [error] main: WARNING: Could not create system preferences directory.
> System preferences are unusable.

There seems to be some problem with the java.util.preferences API.
However, jEdit does not even use this API (probably one of the Java
libraries is trying to call it) so it should not cause any problems.

Slava