Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] No text rendered in jEdit after wakeup from su...


view this post on Zulip Email Gateway (Aug 22 2022 at 14:40):

From: Peter Lammich <lammich@in.tum.de>
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?
screenshot.png

view this post on Zulip Email Gateway (Aug 22 2022 at 14:40):

From: David Cock <david.cock@inf.ethz.ch>
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

view this post on Zulip Email Gateway (Aug 22 2022 at 14:41):

From: Makarius <makarius@sketis.net>
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:

https://bugs.openjdk.java.net/browse/JDK-8096170
https://github.com/linuxmint/Cinnamon/issues/5607

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

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 14:41):

From: Rafal Kolanski <xs@xaph.net>
I have seen two problems of this kind, both related to Intel integrated
graphics:

  1. Problems with SNA acceleration (use UXA instead)

https://wiki.archlinux.org/index.php/intel_graphics#SNA_issues

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

https://wiki.archlinux.org/index.php/intel_graphics#Font_and_screen_corruption_in_GTK.2B_applications_.28missing_glyphs_after_suspend.2Fresume.29

(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.

Sincerely,

Rafal Kolanski

view this post on Zulip Email Gateway (Aug 22 2022 at 14:41):

From: David Cock <david.cock@inf.ethz.ch>
I'm not at all sure that it's actually the same problem (with eclipse) -
just the same symptom. It seems to be the case that the UI components
aren't redrawn after waking up. If you play with the window long enough
(minimise/maximise, alt-tab, ...) it seems to eventually come good.

I've got Intel integrated graphics, with the x.org driver.

David

view this post on Zulip Email Gateway (Aug 22 2022 at 14:42):

From: Peter Lammich <lammich@in.tum.de>
Hi,

I did both, #1 (switching to UXA) and #2 (setting
COGL_ATLAS_DEFAULT_BLIT_MODE=framebuffer in environment), and the first
impression looks good! I did not get the bug on a couple of
suspend/resume cycles. However, I will have to test some more
situations (wakeup with different screens attached as when suspended)
that I sometimes encounter.

Thank you very much for the pointers,
  Peter


Last updated: Apr 25 2024 at 20:15 UTC