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



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.

David


On 20/12/16 10:24, Peter Lammich wrote:
Hi all,

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?

--
   Peter





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