Benjamin Berg 44cd1ae25b extensionPrefs: Add ability to warn about extensions being disabled ... If we disable extensions after a gnome-shell failure, then we should warn the user about this happening. The old concept was to do so in the fail-whale, but we can't even show the fail-whale when running on wayland. Adding this option allows starting up the preference dialog on the next log in and telling the user what happened then. This means we can both tell the user what is going on and enable them to solve the issue at the same time. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/695		2019-08-30 16:09:26 +02:00
..
main.js	extensionPrefs: Add ability to warn about extensions being disabled	2019-08-30 16:09:26 +02:00