Thanks for following up on this.
I have to get some work done with xournal and matter working. As soon
as I find some time, I will follow the steps in comment #1, but it might
be only on or after the weekend...
--
You received this bug notification because you are a member of Ubuntu
Desktop Bug
Hi there,
thanks for your reply. In the meantime I found this bug report
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7587
and this
https://gitlab.gnome.org/GNOME/mutter/-/issues/3372
which address the issue.
For now I downloaded the new mutter packages from
http://archiv
Public bug reported:
See
https://github.com/xournalpp/xournalpp/issues/5719
for a full description.
While the bug can be triggered or caused by xournalpp, gnome-shell
should not crash, but hand it gracefully.
Short excerpt from 'journalctl':
Jun 11 10:51:10 my-hostname gnome-shell[7110]: G
So what is the 'proper way' of raising the priority of this bug? It is
clear that this bug should have the highest priority and a fix should be
included with the normal updates and not just a workaround.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which
