Extension Manager is billed as a “native tool for browsing, installing, and managing GNOME Shell Extensions”. Using it you can search and ...
確定! 回上一頁