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

On 20/12/16 20:24, Peter Lammich wrote:
> I encountered the following behaviour with Ubuntu 16.04LTS:
> After wakeup from suspend, jEdit shows no fonts any more, see attached
> screenshot. This happened to me a few weeks ago sporadically for the
> first time. It seems not to be a regression for the new Isabelle
> version, as I get it also with Isabelle2016. By now, the frequency of
> this bug has increased, almost on any wakeup, I have to restart all
> Isabelle sessions.
> Has anyone seen this bug, or has an idea how to work around?

I have seen two problems of this kind, both related to Intel integrated

1. Problems with SNA acceleration (use UXA instead)

2. GTK+ glyph corruption after suspend/resume (there is a workaround)

(related to )

Judging by your screenshot, odds are you are experiencing #2, but I
would recommend switching to UXA regardless.


Rafal Kolanski

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