タグ: 拡張機能

Matt Jakemanさんの作った「Extension Manager」をインストール デフォルトで「拡張機能」というGnome Projectのものが入っているが、こちらのほうがアプリ内で拡張機能を検索できるので便利… 続きを読む Extension Manager Gnomeの拡張機能を使う