先安装
sudo apt-get install gnome-tweak-tool
sudo apt install gnome-shell-extensions
安装后出现这个界面
这里可以调整字体大小
安装工具扩展: sudo apt-get install gnome-shell-extension-autohidetopbar
这里可以出现设置项
打开,并且点击 齿轮 ,还有个地方需要配置一下,关闭这两个选项
最后效果:
先安装
sudo apt-get install gnome-tweak-tool
sudo apt install gnome-shell-extensions
安装后出现这个界面
这里可以调整字体大小
安装工具扩展: sudo apt-get install gnome-shell-extension-autohidetopbar
这里可以出现设置项
打开,并且点击 齿轮 ,还有个地方需要配置一下,关闭这两个选项
最后效果: