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

[Roberto F. S. <sa...@ch...>]

I didn't see the message since I am launching jEdit directly from an 
icon in the KDE desktop. It seems like an authorization issue.

Probably Slava or someone else could clear this point. Is jEdit 
attempting to create a "system preferences" file or directory and needs 
either a java security profile or to be run at a certain privilege?

Regards,

Salomon

Reinout van Schouwen wrote:

>On Fri, 9 Aug 2002, Roberto F. Salomon wrote:
>
>  
>
>>The Java 1.4.1 beta2 apparently has this fixed. You can generate
>>characters such as ' and " by pressing "altcar" (right alt) and the
>>deadkey. Works fine here.
>>    
>>
>
>Thanks, this solved my problem. I'm now getting weird messages when
>starting jEdit though, like this one:
>
>[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.
>
>Seems to be harmless on first sight, though.
>
>  
>