GNOME扩展管理利器迎来重要更新
Extension Manager是一款专为Linux桌面设计的图形化工具,帮助用户轻松浏览、安装和管理GNOME Shell扩展,完全无需依赖网页浏览器操作。
此次推出的0.7.0版本带来了备受期待的改进与全新功能,同时修复了早期版本中部分失效的实用特性。
核心亮点一览
- 集成GNOME搜索提供程序:现已支持直接从Activities概览中快速定位并打开已安装扩展的配置偏好页面,大幅提升使用效率。
- 详细页面升级:扩展信息详情页展示了更为丰富的内容参数,方便用户深入了解各项配置。
- 功能修复:恢复了此前版本中停止正常工作的若干便捷功能。
如何启用搜索功能
安装本版本后,如需激活GNOME搜索集成,请按以下路径操作:
设置(Settings)> 搜索(Search)
开启后,即可在系统活动界面直接搜索并访问扩展偏好设置。
下载与体验
对于习惯使用GNOME桌面的用户而言,Extension Manager始终是一款值得常驻的实用工具。本次0.7版本在易用性和功能性上均有所提升,推荐相关用户尽快升级体验。
关注微信号:智享开源 ,及时了解更新信息。
还没有任何评论,你来说两句吧!