Steve, Have you considered gnome-shell extensions. GNOME Shell Extensions
|
| |
GNOME Shell Extensions
| |
|
Therein I discovered a collection of "maintained and unmaintained" gnome-shell
extensions geared to extend gnome's regular interface.
Regards
Leslie
Leslie
I Apologize if this email is misdirected - I couldn't fathom where else to
send it. Please forward this email to "gnome software administrator's", if
feasible. This is a one-off message, so I have not subscribed to
desktop-devel-list@gnome.org. If you feel it is appropriate, please
respond