MrMarble / vscode-search-providerLinks
A GNOME Shell extension that gives you access to your vscode workspaces through overview search
☆23Updated last week
Alternatives and similar repositories for vscode-search-provider
Users that are interested in vscode-search-provider are comparing it to the libraries listed below
Sorting:
- Syncs gnome shell keybindings, tweaks settings and extensions with their configuration across all gnome installations☆296Updated 2 years ago
- A highly customizable replacement for Gnome Shell's Alt-Tab window and app switchers.☆230Updated last month
- ☆112Updated 2 years ago
- GNOME Shell extension to pick colors on the desktop☆190Updated last month
- GNOME Shell extension to manage systemd services.☆126Updated last month
- 🧩 GNOME shell extension to display a simple workspace indicator showing icons of apps open in it.☆56Updated this week
- GNOME Shell extension that shows workspaces buttons in top panel☆42Updated 3 years ago
- Makes "Picture-in-Picture" windows stay on top (even on Wayland session). Compatible with Firefox, but may work with few other browsers t…☆99Updated 3 months ago
- Configurable extension for Nautilus to copy path, URI, name or content☆205Updated 2 weeks ago
- Gnome extension that magnifies the cursor when the mouse is moved rapidly.☆53Updated 10 months ago
- GNOME Shell extension that shows workspaces buttons in top panel☆231Updated 4 months ago
- A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.☆69Updated 10 months ago
- Emoji Extension☆134Updated 3 months ago
- A simple sticky notes app for GNOME☆259Updated 2 months ago
- Alphabetically order GNOME's app grid and folders☆142Updated last month
- GNOME Extension to Manage window with touchpad gestures☆100Updated 4 months ago
- Quick access menu for the GNOME panel with options that help ease the workflow for newcomers and power users alike.☆91Updated 2 months ago
- A GNOME Shell Extension to Tweak animations and customize them☆68Updated 3 years ago
- ☆123Updated 3 weeks ago
- ☆15Updated 4 months ago
- A music related GNOME extension.☆71Updated 3 months ago
- Change the GTK3 theme to light/dark variant based on the system color scheme☆40Updated 5 months ago
- A GNOME Shell Extension that allows you to give a function to any corner or edge of your monitors and expand your keyboard capabilities.☆153Updated last week
- Modern Clipboard Manager for GNOME☆273Updated last month
- A GNOME Shell Extension that provides 7 custom accent colors for versions 43-46. The selected accent color can be applied to GTK4/GTK3 ap…☆75Updated last year
- kde plasma wallpaper plugin that blur the wallpaper when a window is active☆95Updated 3 weeks ago
- Pin portable apps to the launcher☆78Updated last week
- A Gnome shell extension to close open windows gracefully and save them as a session. The previous session can be restored at startup. Mos…☆190Updated last month
- Gnome Shell extension allowing customization of notification banner position and animation properties☆40Updated last month
- Command line tool to manage your Gnome Shell extensions☆151Updated 2 months ago