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.
On 20/12/16 10: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
Has anyone seen this bug, or has an idea how to work around?
This archive was generated by a fusion of
Pipermail (Mailman edition) and