新しい GNOMEシェル拡張 のために Jodli

パネル·ドックレットは最小化し、アクティブなウィンドウを示す、ドックまたはパネルとして機能するGNOMEシェル拡張である。パネル·ドックレットは、複数の画面、ウィンドウのタイトル、ワークスペース、ドラッグして、お気に入りをサポートしています。この拡張機能をインストールするには、GNOMEシェルがインストールまたはシナモンている必要があります。 。しかし、それはシナモンでテストされていないことに留意してください。 の要件の GNOME ...