MrMarble / vscode-search-provider
A GNOME Shell extension that gives you access to your vscode workspaces through overview search
☆14Updated last month
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:
- A Gnome Shell extension that automatically switches on the "Do Not Disturb" mode while screen sharing or screen recording☆31Updated last month
- A GNOME Shell extension that gives you access to open windows through overview search☆17Updated 3 months ago
- Display the user avatar in the Quick Settings menu, part of the "System" settings☆25Updated last month
- A GNOME Shell Extension that automagically opens the activities view on empty workspaces☆28Updated last month
- GNOME Shell extension to manage systemd services.☆114Updated 2 months ago
- GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.☆35Updated 3 months ago
- Tunes overview UI of the gnome 40 a bit☆104Updated last month
- GNOME extension to create fully customizable quick toggle buttons to run user defined commands and launch custom scripts.☆29Updated last week
- GNOME Shell extension that shows workspaces buttons in top panel☆42Updated 2 years ago
- Gnome Extension that triggers top panel to show up on full screen apps when cursor hovers the top edge of the screen☆25Updated 3 weeks ago
- KWin scripts controlling window placement on multi-monitor setups☆67Updated 2 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…☆75Updated this week
- Share your Presets☆47Updated 10 months ago
- Gnome Shell extension allowing customization of notification banner position and animation properties☆32Updated last month
- Syncs gnome shell keybindings, tweaks settings and extensions with their configuration across all gnome installations☆297Updated last year
- Allows you to easily control Spotify via KRunner.☆44Updated 2 years ago
- GNOME Shell Extension - Dynamic Calendar, Clocks and Weather Icons☆38Updated 9 months ago
- Task bar. GNOME Shell extension☆41Updated last year
- Customised Isolated Workspaces - Gnome-Shell Extension☆74Updated last week
- An application made for GNOME written in Rust to easilly add images on top of folders☆43Updated 3 weeks ago
- GJS TypeScript type definitions for GNOME Shell Extensions☆62Updated last month
- Customizable user-theme with user stylesheet and night theme auto-switch based on the Night Light.☆37Updated last month
- This is a Search Provider for Gnome Shell, and it provides DuckDuckGo Search functionality.☆27Updated 11 months ago
- ☆21Updated last year
- ☆28Updated 3 months ago
- Simple color picker for GNOME Shell.☆161Updated last month
- A Gnome Shell extension that allows you to rename device names in Gnome's Quick Settings Panel☆21Updated 2 months ago
- GNOME Shell extension to integrate Plank, the simplest dock on the planet.☆46Updated 2 months ago
- Simple GNOME Shell extension manager in the top panel.☆61Updated last month
- A GNOME shell extension that shows a progress bar of your day☆43Updated 2 months ago