Unity-like shortcuts for gnome dock applications
☆52Jul 15, 2021Updated 4 years ago
Alternatives and similar repositories for app-keys-gnome-shell-extension
Users that are interested in app-keys-gnome-shell-extension are comparing it to the libraries listed below
Sorting:
- Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button☆16Jan 28, 2019Updated 7 years ago
- A GNOME Shell extension displaying the current sound percentage in the system tray.☆16Mar 25, 2024Updated last year
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 6 years ago
- Bountysource browser extension.☆13Nov 17, 2016Updated 9 years ago
- ☆13Jan 22, 2024Updated 2 years ago
- Vala grammar for tree-sitter (WIP)☆16Oct 29, 2024Updated last year
- Apt Update Indicator☆47Mar 2, 2023Updated 3 years ago
- ☆16May 2, 2024Updated last year
- C# Language Support for GNOME Builder via csharp-ls and LSP☆11Apr 13, 2022Updated 3 years ago
- My personal collection of GNOME-Builder plugins☆12Aug 24, 2023Updated 2 years ago
- ☆10Sep 5, 2018Updated 7 years ago
- Cursor position history manager☆60Sep 8, 2019Updated 6 years ago
- ☆12May 28, 2019Updated 6 years ago
- Documentation and tutorials for Volt - using gitbook☆19Mar 6, 2016Updated 10 years ago
- tdnm is simple weblog tool☆12Feb 23, 2024Updated 2 years ago
- Create pull request of rubocop --auto-correct in CircleCI☆11Dec 31, 2017Updated 8 years ago
- check `# => ` comment's validity☆12Jun 10, 2017Updated 8 years ago
- ☆12Jan 19, 2023Updated 3 years ago
- A Vim plugin that provides a convenient interactive calculator inside a buffer.☆16Apr 21, 2018Updated 7 years ago
- Automatically detect and load your .envrc☆18Jan 7, 2022Updated 4 years ago
- An extension to edit in prose on supported browsers☆26Dec 6, 2022Updated 3 years ago
- Icon Hider is a gnome-shell extension for managing status area items.☆31Aug 17, 2021Updated 4 years ago
- ☆10Sep 19, 2017Updated 8 years ago
- Simple, working script for VSCode-Toolbox Integration☆13Jan 21, 2025Updated last year
- A Chrome extension that closes duplicate tabs when you open a new tab or navigate to a new page.☆12Nov 30, 2025Updated 3 months ago
- A vscode plugin jumps to pull request url.☆13Sep 15, 2023Updated 2 years ago
- Red Hat JBoss Data Grid 7 OpenShift container images☆10Jan 26, 2026Updated last month
- Easy-to-use line profiler for Ruby☆13Nov 22, 2021Updated 4 years ago
- Official Monkey Studio IDE Source Code.☆15Dec 18, 2016Updated 9 years ago
- Frontend for JustJot, a keyboard-first note-taking PWA☆15Jan 17, 2026Updated 2 months ago
- An Embulk filter plugin to mask columns with asterisks in a variety of patterns.☆11Mar 17, 2020Updated 6 years ago
- Display ping time☆30Mar 21, 2022Updated 4 years ago
- jq repl fish plugin☆16Oct 22, 2025Updated 4 months ago
- A cmake project that demonstrates how to use static and dynamic libraries in a C++ project.☆13Jan 25, 2021Updated 5 years ago
- Featherweight Generics Go implementation by Scala☆13Mar 14, 2026Updated last week
- Pixel-perfect dungeon and environment sprites.☆14Oct 17, 2023Updated 2 years ago
- ☆11Jul 30, 2015Updated 10 years ago
- Haskell source code formatter☆24Jan 5, 2025Updated last year
- Allows you to encrypt the ID of your ActiveRecord model.☆29Aug 29, 2018Updated 7 years ago