GNOME Shell plugin that displays a mini window preview (like picture-in-picture on a TV)
☆108Mar 22, 2024Updated last year
Alternatives and similar repositories for miniview
Users that are interested in miniview are comparing it to the libraries listed below
Sorting:
- GNOME Shell extension showing a video preview on the corner of the screen☆134Jul 16, 2021Updated 4 years ago
- Gnome Shell Extension - Refresh Wifi☆56Apr 22, 2022Updated 3 years ago
- Browser tab search provider for GNOME☆41Aug 21, 2023Updated 2 years ago
- Pause Gnome Night Light for 10 seconds☆10Apr 30, 2021Updated 4 years ago
- Get a new patterned-wallpaper automatically every day/week.☆10Sep 10, 2016Updated 9 years ago
- ☆10Jun 21, 2021Updated 4 years ago
- Package for developing gnome-shell extensions☆29Jan 20, 2023Updated 3 years ago
- ☆10Jun 18, 2022Updated 3 years ago
- Gnome Shell Extension - Disconnect Wifi☆45Nov 24, 2025Updated 3 months ago
- Slim Adwaita GTK Theme☆13May 9, 2019Updated 6 years ago
- Restore minimap in gedit 3.36☆14Jan 22, 2021Updated 5 years ago
- Nord highlighting style for Pygments☆16Dec 26, 2019Updated 6 years ago
- Simplified "Compiz alike" wobbly windows effect for GNOME Shell☆90Apr 2, 2022Updated 3 years ago
- PHP physical computing☆27Oct 11, 2019Updated 6 years ago
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆69Nov 2, 2023Updated 2 years ago
- A trivial but working polyfill for PHP 7.3 is_countable function. Supports PHP versions >= 5.3☆18Nov 27, 2022Updated 3 years ago
- Coverflow like Alt-Tab replacement for Gnome-Shell☆395Nov 12, 2025Updated 3 months ago
- A Gtk application to report missing icons to your theme repository☆19Dec 14, 2017Updated 8 years ago
- Minimal GTK3 frontend for configuring the thinkpad trackpoint on Linux.☆18Dec 27, 2020Updated 5 years ago
- A PEG parser written in PHP☆23Jun 7, 2023Updated 2 years ago
- An advanced lightweight file search tool☆22Aug 24, 2020Updated 5 years ago
- Gnome Shell Extension for 3.16+, (maybe lower) to search for current windows using fuzzy search or regex☆23Dec 13, 2024Updated last year
- AMQP bindings for React PHP.☆27Jul 30, 2015Updated 10 years ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Nov 22, 2017Updated 8 years ago
- A powerful and fully automated bot designed to help users complete various Discord tasks efficiently. The bot supports multiple quest typ…☆30Jan 28, 2026Updated last month
- gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart☆22May 16, 2019Updated 6 years ago
- Helper for enabling better Steam integration on Linux☆32Mar 12, 2024Updated last year
- This a Gnome Shell extension, which customizes the Overview, including always showing titles of all window thumbnails and setting the pos…☆24Jan 27, 2026Updated last month
- Download fonts from the web!☆174Sep 18, 2025Updated 5 months ago
- ☆55Sep 24, 2025Updated 5 months ago
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆420Feb 28, 2026Updated last week
- File Sharing Server☆69Oct 2, 2023Updated 2 years ago
- A brainfuck interpreter for PHP☆41Jan 11, 2013Updated 13 years ago
- Tiled scrollable window management for GNOME Shell☆4,007Feb 17, 2026Updated 2 weeks ago
- Unofficial native Bitwarden client for elementary OS☆27Apr 19, 2025Updated 10 months ago
- A very rough preservation of historical PHP versions from 1.0.8 through 3.0.18 as originally preserved at museum.php.net☆32Jun 28, 2016Updated 9 years ago
- A library that makes easier the creation of compiled containers using Symfony DI☆34Feb 26, 2026Updated last week
- Telegram client written in GTK & Python☆70Sep 6, 2021Updated 4 years ago
- Gnome youtube-dl frontend☆31Apr 27, 2023Updated 2 years ago