charkins / gnome-shell-extension-notesearch
OBSOLETE: Gnote search provider extension for gnome-shell
☆16Updated 8 years ago
Alternatives and similar repositories for gnome-shell-extension-notesearch:
Users that are interested in gnome-shell-extension-notesearch are comparing it to the libraries listed below
- An extension for displaying weather notifications in GNOME Shell.☆147Updated 6 years ago
- [DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search…☆58Updated 7 years ago
- GNOME Shell extension to provide a gnome2-like notifications/tray icons☆22Updated 12 years ago
- GNOME 3 theme for Firefox (previously known as Adwaita)☆254Updated 5 years ago
- A gnome-shell extensions that adds an option for inhibiting the screensaver to the power menu.☆23Updated 12 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆377Updated 5 years ago
- DISCONTINUED☆25Updated 10 years ago
- Gnome shell extension☆15Updated 12 years ago
- ☆115Updated 12 years ago
- Nuntius delivers notifications from your phone or tablet to your computer☆214Updated 6 years ago
- Gnome shell extension MediasPlayers☆20Updated 13 years ago
- Recent items indicator for GNOME Shell☆22Updated last year
- ☆287Updated 6 years ago
- Apply effects to windows being in background☆36Updated 2 years ago
- KDE Connect/MConnect integration for Gnome Shell☆150Updated 7 years ago
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆71Updated last year
- A source code class and function browser plugin for Gedit 3.☆98Updated last month
- Official GTK theme for Ozon OS☆49Updated 9 years ago
- Modern, minimal and music-focused interface for Rhythmbox☆158Updated last year
- Arc Theme integration for Thunderbird☆121Updated 5 years ago
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated last year
- A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-0…☆311Updated 3 years ago
- gnome shell extension that tiles windows as you like.☆203Updated 7 years ago
- Gnome Shell Extension that allows to start and stop systemd services☆80Updated 3 years ago