Ben, sorry I didn't notice your comment
Well, best way would be to have at least some JS logging, while I'm quite sure when this happen, I'd like to have a trace: so please follow what said into https://is.gd/wiki_gnome_shell_crash_debug
Ben, sorry I didn't notice your comment
Well, best way would be to have at least some JS logging, while I'm quite sure when this happen, I'd like to have a trace: so please follow what said into https:/ /is.gd/ wiki_gnome_ shell_crash_ debug