Add extension reload button to gnome-tweak-tool
Submitted by Norman Smith
Link to original bug (#774072)
Description
Created attachment 339269 Extension Reload Button patch
The attached patch adds an Extension Reload Button to the gnome-tweak-tool. Wayland does not allow restarting the Shell session. The gnome-shell-extension-tool (reference bug 772593) is executed by this button to reload an extension. I have written a gnome-shell extension which creates a panel menu button to reload extensions but providing this function in the Tweak Tool seems more appropriate.
Patch 339269, "Extension Reload Button patch":
patch0.patch