A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/gtk-rs/gtk3-rs is a good alternative to extension-manager
A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/gtk-rs/gtk3-rs is a good alternative to extension-manager