Emilio Recio wrote: > Changed it to liberation mono, and ... same thing. Switching to jEdit > for now. Please file a bug too, if you're still interested in getting it fixed (extra fun for the non-reproducibility) -- Rex