Few tweaks for GNOME Dock: - moves it top - autohide ---> !reveals under cursor pressure! <--- - shows only favorites apps
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
EGO-L-003 warning
signals connected by extension should be disconnected in disable()
Signals assigned in `enable()` are missing matching disconnect calls in `disable()` or its helper methods.
Dock: Reloaded
extension.js:38
this._pressureBarrier.connect("trigger", () => this._revealDock(true))
extension.js:17
this.showAppsButton.connect("button-release-event", this._showAppsToggle.bind())
| Version | Status |
|---|---|
| 11 | Active |
| 10 | Active |
| 9 | Active |
| 8 | Active |
| 7 | Active |
| 6 | Active |
| 5 | Active |
| 4 | Active |
| 3 | Active |
| 2 | Active |
| 1 | Rejected |