Comments (1)
I think this is not causing any real problem, provided that no other software is using the same keys in the same path that is unlikely to occur.
In any case, I think this is out of the single extension control, in particular if you uninstall it by simply deleting it's directory. As far as I know the current extension system doesn't allow to exec custom command on uninstall, even when it's done through the website. Maybe you should submit a bug report on gnome's bugzilla.
If you want to manually remove such entries, I think the following command should get rid of all the extension settings; at least they disappear from dconf.
dconf reset -f /org/gnome/shell/extensions/dash-to-dock/
from dash-to-dock.
Related Issues (20)
- Dock Multiplies after wake-up after suspend HOT 3
- Show Apps button does nothing, unless activities is open HOT 2
- Dock disappearing on second monitor HOT 1
- improvement/feature: add "on mouse hover" action HOT 1
- Dock scrolls instead of shrinking icons
- Cycle through windows in reverse - [Feature Request]
- The container with Icon/app options doesn't have padding. HOT 1
- Hotkeys not working
- "Shrink the dash" toggle shrinks menu HOT 1
- Workspace switcher popup not indicating active workspace on scroll HOT 1
- Feature Request: Super+# to move "forward" through windows of the same application. Super+Shift+# to move "backwards" through windows of the same application
- Ubuntu Dock (dash-to-dock) broke on upgrade to Gnome Shell v45.2 HOT 3
- Bug on "Focus, minimize or app spread/preview" click action HOT 5
- Dock Height Abnormally Expands HOT 1
- Windows restored using the "windows previews" are sometimes not given focus HOT 1
- Feature: Minimize instances of the same application to different icons
- In multi-monitor setup dash dock could overlap window title tooltips in overview HOT 1
- JS ERROR: TypeError: DockManager.getDefault() is null HOT 1
- Gnome 46 support HOT 2
- Second dock appearing when I click on show applications HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from dash-to-dock.