Re: [isabelle] No text rendered in jEdit after wakeup from suspend

On 20/12/16 12:58, David Cock wrote:
> I can confirm the behaviour, but I have no suggestions.  Seems to be a
> common symptom among a number of applications - eclipse does almost
> exactly the same thing.

We are somehow used to odd problems with Java/AWT/Swing, but Eclipse has
its own rendering via SWT. Are you sure that is the same problem?

Searching on the web I've found tracker items like this:

They seem to be related to Linux graphics driver problems. What is your
graphics hardware and driver?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.