- 博客(1)
- 资源 (9)
- 收藏
- 关注
原创 Ubuntu 18.04 Gnome shell Extensition 删除不需要的插件 ---亲测可用
这是在贴吧看到的解决办法,亲测,可以解决你可以在/home/.local/share/gnome-shell/extensions里面找到相关文件夹,删除即可。也可以打开gnome-software(同时按alt + F2后输入引号内字符)点击“已安装”,往下拉到“附加组件”栏目,在那里,你也可以找到相关移除项。...
2019-05-13 22:37:25 4165
jQuery EasyUI 1.4 版 API 中文版 (Made By Richie696)
jQuery EasyUI 1.4 版 API 中文版 (Made By Richie696)
2018-09-09
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人