hjr265 / gnome-shell-extension-servicesLinks
Toggle common services on/off from a menu on the top panel
☆12Updated 10 years ago
Alternatives and similar repositories for gnome-shell-extension-services
Users that are interested in gnome-shell-extension-services are comparing it to the libraries listed below
Sorting:
- Provides a way to run menubar commands through dmenu☆23Updated 7 years ago
- A versatile IRC bouncer for humans☆49Updated 8 years ago
- [UNMAINTAINED] Gajim IM integration in GNOME Shell☆19Updated 8 years ago
- Gnome Shell GUI Extension for Mycroft Ai☆77Updated 8 years ago
- Nuntius delivers notifications from your phone or tablet to your computer☆121Updated 4 years ago
- Nuntius delivers notifications from your phone or tablet to your computer☆214Updated 7 years ago
- Reminder for Duolingo in Gnome-shell☆22Updated 6 years ago
- Pause/Resume your music player when locking/unlocking your Linux desktop.☆87Updated 4 years ago
- 2FA code generator for GNOME☆177Updated 6 years ago
- ☆41Updated 8 years ago
- A Reddit Client For GNOME (with Gtk+ and Python)☆163Updated 7 years ago
- A GTK3 time tracker. Powered by 'hamster-lib'☆117Updated 4 years ago
- Simple GPG UI - not everybody is a master of the CLI☆37Updated 9 years ago
- GNOME audio player for transcription☆174Updated 3 weeks ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Updated 8 years ago
- PKGBUILDs for Arch Linux☆83Updated last year
- A Mozilla Firefox theme inspired by the Arch Linux color scheme☆13Updated 9 years ago
- Recent items indicator for GNOME Shell☆23Updated 2 years ago
- Force more aggressive GC behaviour☆20Updated 3 years ago
- Trayicon with Unicode Emoticons using Python3 Qt5☆23Updated 8 years ago
- GPlayWeb: A Web interface for GPlayCli☆22Updated 8 years ago
- The Pushjet android client☆135Updated 7 years ago
- Google Summer of Code project for GNOME☆50Updated 7 years ago
- AppIndicator for KDE Connect☆121Updated 9 years ago
- Python (almost) on Pebble☆57Updated 3 years ago
- A custom ui toolkit for Ubuntu Phone☆33Updated 9 years ago
- An interface to configure GDM3, autologin options and change Shell theme☆100Updated 5 years ago
- The Pushjet push connectors☆16Updated 9 years ago
- ☆88Updated last year
- Markdown editor☆217Updated 5 years ago