Gnome的标题栏总是占据太大的位置,使用不便,为了隐藏它可以使用如下插件:
gnome-shell-extension-pixel-saver-git
为了改变系统托盘的位置,可以使用如下插件:
TopIcons Plus
另外附送主题:
Paper Icons
Paper Gtk Theme
Gnome的标题栏总是占据太大的位置,使用不便,为了隐藏它可以使用如下插件:
gnome-shell-extension-pixel-saver-git
为了改变系统托盘的位置,可以使用如下插件:
TopIcons Plus
另外附送主题:
Paper Icons
Paper Gtk Theme