gnome shell修改顶部状态栏的插件是什么呢？
求一个修改顶部状态栏间距的插件，之后用的时候，找到过这样的插件，但是现在想不起来是什么名字了。
https://blog.csdn.net/u010484267/article/details/25139469
https://jingyan.baidu.com/article/a378c960a30b21b329283042.html
求一个修改顶部状态栏间距的插件，之后用的时候，找到过这样的插件，但是现在想不起来是什么名字了。
https://blog.csdn.net/u010484267/article/details/25139469
https://jingyan.baidu.com/article/a378c960a30b21b329283042.html