ubuntu 20.04 将dock栏合并到panel
The Dash to Panel Gnome Shell extension does exactly what you want and is highly configurable.
You can install it from Ubuntu software (search Dash to panel), or using the terminal with the command
sudo apt install gnome-shell-extension-dash-to-panel.
Caveat: the extension is not automatically enabled. Log out and then back in. Then you will see the
extension in Gnome Tweaks, and you can enable it there.
To configure the extension, make sure you have "Gnome Tweaks" installed. In
Gnome Tweaks, find the extension on the Extensions tab and click the cog
icon to access the settings.
分类:
ubuntu
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 震惊!C++程序真的从main开始吗?99%的程序员都答错了
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 单元测试从入门到精通
· 上周热点回顾(3.3-3.9)
· winform 绘制太阳,地球,月球 运作规律