| Name : gnome-shell-extensions-user-theme
| |
| Version : 44.0
| Vendor : OpenMandriva
|
| Release : 1
| Date : 2023-03-27 18:48:43
|
| Group : Graphical Desktop/GNOME
| Source RPM : gnome-shell-extensions-44.0-1.src.rpm
|
| Size : 0.01 MB
| |
| Packager : angrypenguin < angrypenguinpoland_gmail_com>
| |
| Summary : Lets the user select a custom theme for the shell
|
Description :
Lets the user select a custom theme for the Gnome shell. It will allow you to
apply a style from /.themes/[themeName]/gnome-shell/gnome-shell.css
|
RPM found in directory: /vol/rzm4/linux-openmandriva/5.0/repository/aarch64/main/release |
