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.
1. You should remove the signal on disable (line 24, 27, 222 extension.js): https://gjs.guide/extensions/review-guidelines/review-guidelines.html#disconnect-all-signals 2. Also do this in disable: ```j this.docks = []; ``` 3. Remove the timeout inside `Dock._onDestroy()` (line 50 extension.js): https://gjs.guide/extensions/review-guidelines/review-guidelines.html#remove-main-loop-sources If you need any help with your extension you can ask us on: - [GNOME Matrix Channel](https://matrix.to/#/#extensions:gnome.org) - IRC Bridge: irc://irc.gimpnet.org/shell-extensions