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 https://bugs.freedesktop.org/show_bug.cgi?id=88584 )
Judging by your screenshot, odds are you are experiencing #2, but I
would recommend switching to UXA regardless.
This archive was generated by a fusion of
Pipermail (Mailman edition) and