[ 源代码: gnome-shell-extension-pixelsaver ]
软件包:gnome-shell-extension-pixelsaver(1.10+git20180804-d97c6e4-1)
gnome-shell-extension-pixelsaver 的相关链接
Debian 的资源:
下载源码包 gnome-shell-extension-pixelsaver:
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.dsc]
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4.orig.tar.gz]
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.debian.tar.xz]
维护小组:
外部的资源:
- 主页 [github.com]
相似软件包:
pixel saver extension for GNOME shell
Pixel Saver is designed to save pixels by fusing activity bar and title bar in GNOME shell.
It is inspired by previous tools such as Maximus.