Gnome extension adding more window management keyboard shortcuts
☆15Feb 28, 2026Updated 3 months ago
Alternatives and similar repositories for bifocals-gnome-extension
Users that are interested in bifocals-gnome-extension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Menu editor for MATE using the freedesktop.org menu specification☆27May 14, 2026Updated 2 weeks ago
- Gnome shell extension. Simple workspace indicator for horizontal layout.☆28Sep 17, 2023Updated 2 years ago
- Gnome extension that allows to swtich windows like Windows with the touchpad☆24Sep 26, 2024Updated last year
- Recent Items - an extension for gnome-shell☆32Feb 12, 2025Updated last year
- periodic table for GNOME☆11May 2, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple calculator built with Qt Creator in C++☆10Jul 9, 2023Updated 2 years ago
- keynav for wayland☆10Nov 16, 2022Updated 3 years ago
- Automatically switches from day to night themes in VS Code☆11Apr 18, 2023Updated 3 years ago
- A GNOME Shell Extension for customizable hot corners.☆44May 18, 2023Updated 3 years ago
- Retro inspired, RPG assets pack and game.☆12May 22, 2023Updated 3 years ago
- ☆14Jun 7, 2018Updated 7 years ago
- GNOME shell extension to improve dual (or more) monitor experience☆14May 12, 2022Updated 4 years ago
- Tiny app to help you relax, breath and meditate☆11Apr 12, 2023Updated 3 years ago
- GRUB theme using the logo from your computer's BGRT☆17Sep 22, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Dockerized BIND DNS Server with Webmin for DNS Administration☆10Dec 1, 2019Updated 6 years ago
- A simple python script to set your linux background (cinnamon) from Imgur galleries.☆10Mar 15, 2016Updated 10 years ago
- Get a new patterned-wallpaper automatically every day/week.☆10Sep 10, 2016Updated 9 years ago
- ☆10Dec 19, 2021Updated 4 years ago
- Pixel-perfect dungeon and environment sprites.☆16Oct 17, 2023Updated 2 years ago
- A GNOME Shell Extension that detaches the notification center and place it on top panel☆39May 7, 2023Updated 3 years ago
- Some plugins for Zim☆12Sep 25, 2021Updated 4 years ago
- A GNOME Shell extension that shows favorite app launchers in Super+Tab popup.☆11Mar 24, 2024Updated 2 years ago
- An example of serialport working with electron☆10Jan 20, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Art Project For Firefox displays masterpieces from Google Cultural Institute in your Firefox's new tabs☆14Apr 18, 2015Updated 11 years ago
- PostCSS plugin for Sass-like colour functions☆12Aug 18, 2018Updated 7 years ago
- Markdown Editor mockups following GNOME Human Interface Guidelines☆11Apr 4, 2018Updated 8 years ago
- ☆13Feb 19, 2019Updated 7 years ago
- plugin for beets that lets you search amazon for album-details☆14Sep 5, 2017Updated 8 years ago
- Gnome Shell Extension to put Gnome Tweaks in the system menu.☆44Mar 23, 2026Updated 2 months ago
- Nanoid generate with custom dictionaries☆14Aug 30, 2021Updated 4 years ago
- A simple nautilus extension adding a submenu to the right-click, with a list of apps you can use to open the selected files.☆12Feb 25, 2023Updated 3 years ago
- Keynote generator☆11Nov 30, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Integrate GMail into the Linux Desktop☆51Sep 1, 2023Updated 2 years ago
- ☆28May 11, 2026Updated 2 weeks ago
- Get info about your Public IP, the CLI way☆19Jun 19, 2021Updated 4 years ago
- Suggestion box for PostCSS plugins☆14Apr 27, 2016Updated 10 years ago
- Internet-connected timer for "screen time"☆12Feb 14, 2019Updated 7 years ago
- A Windows 10 filter driver intended for a customizable keyboard layout for games☆13Mar 31, 2016Updated 10 years ago
- retire your mouse.☆18Nov 20, 2021Updated 4 years ago