[Desktop-packages] [Bug 1862538] Re: gnome-shell-extension-prefs crashed with signal 5 in XGetWindowProperty from window_get_desktop from ca_gtk_proplist_set_for_widget

2020-08-11 Thread Daniel van Vugt
No error reports since 20.04 was officially released with GNOME 3.36. ** Changed in: gnome-shell (Ubuntu) Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launch

[Desktop-packages] [Bug 1862538] Re: gnome-shell-extension-prefs crashed with signal 5 in XGetWindowProperty

2020-02-09 Thread Daniel van Vugt
** Information type changed from Private to Public ** Description changed: + https://errors.ubuntu.com/problem/ac2ebc61ed42d4f034dfa6f6769fefed42ca834e + + --- + When I use shotdowntimer extension, I've faced with this bug. ProblemType: Crash DistroRelease: Ubuntu 20.04 Package: gnom