Extension Manager is an interesting alternative to GNOME’s official Extensions app to help you manage GNOME shell extensions. Let’s take a closer look.
Source link
Extension Manager is an interesting alternative to GNOME’s official Extensions app to help you manage GNOME shell extensions. Let’s take a closer look.
Source link