2020年2月16日
Gnome设置
摘要： 可以用chrome-gnome与chromium配合使用来管理 gnome的一些插件。 gnome中的panel设置，我觉得字太小了。 修改shell theme文件夹下的 xxx-shell.css 搜索：stage，修改字体大小。 阅读全文
posted @ 2020-02-16 03:51 看不见的R 阅读(216) 评论(0) 推荐(0) 编辑