GNOME Shell Extensions是一个开源和免费分发的项目，为用户提供一个收藏的扩展GNOME Shell用户界面的GNOME桌面环境。 　　而软件分布作为GNOME项目的一部分，安...