gnomeExtensions.dock-express
Turn the native GNOME dash into a dock.
Settings: dock autohide, pressure, animation, opacity.
There is no multi-monitor support at the moment.
Very short code (less than 300 lines), very light extension: the dock object is the GNOME dash itself, so no new object is created.
- Name
- gnome-shell-extension-dock-express
- Homepage
- Version
- 23
- License
- Maintainers
- Platforms
- aarch64-linux
- armv5tel-linux
- armv6l-linux
- armv7a-linux
- armv7l-linux
- i686-linux
- loongarch64-linux
- m68k-linux
- microblaze-linux
- microblazeel-linux
- mips-linux
- mips64-linux
- mips64el-linux
- mipsel-linux
- powerpc-linux
- powerpc64-linux
- powerpc64le-linux
- riscv32-linux
- riscv64-linux
- s390-linux
- s390x-linux
- x86_64-linux
- Defined
- Source