GNOME Shell拡張機能「Floating Mini Panel」のアップデートが公開されました。クリックすることで、コンパクトなパネルを画面の別の場所に移動できる機能が追加されています。