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

[Reinout v. S. <re...@cs...>]

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.

-- 

Reinout van Schouwen			Artificial Intelligence student
email: re...@cs...			mobile phone: +31-6-44360778
GPG public key http://www.cs.vu.nl/~reinout/reinout.asc