Ubuntu 19.10...ピクセルセーバーは動作していたが、今は動作しない。再インストールしても動作しない

Ubuntu 19.10...ピクセルセーバーは動作していたが、今は動作しない。再インストールしても動作しない

Ubuntuを使い始めてまだ数週間です。

一部のウィンドウの上部にある無駄なスペースの量は、ほとんど滑稽なほどですが、これは主に開発者のせいだと私は理解しています。たとえば、Chrome と Microsoft Teams はスペースをうまく活用しています。Firefox と Visual Studio Code は... うーん。

これを解決しようとして、ここで を提案する回答を見つけましたgnome-shell-extension-pixelsaver。数日間は問題なく動作していました。しかし、昨日突然動作しなくなりました。 を試してから再インストール、再起動などを行いましたsudo apt purge gnome-shell-extension-pixelsaverが、解決しません。

私も試してみましたno-title-barインストールされていることも確認しましたx11-utils。何も起こりません。

システムに何も変更を加えていないのに、なぜ動作しなくなったのか不思議です。

これを解決する方法について何か提案はありますか?

編集 - 2020年3月27日

最終的に、いくつかの理由から再フォーマットを行うことになりましたが、そのうちの 1 つがこれです。

クリーンな再フォーマットでこの拡張機能を使用しました:

https://github.com/pixel-saver/pixel-saver

繰り返しますが、数日間は動作しますが、その後動作しなくなります。再インストールしても何も起こりません。

答え1

dconf エディターを取得し、org->gnome->terminal->legacy->headerbar を false に設定します。次に、拡張機能 unite を使用して、たとえば、タイル表示されている場合やターミナルが画面全体を占めている場合にタイトルバーを削除できます。

しかし、しかし、しかし、これを行うと、ターミナルの背後の影にいくつかの不具合が発生します。おそらく、あなたはそうしないでしょう。現時点では、他の修正はありません。

関連情報