
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 を使用して、たとえば、タイル表示されている場合やターミナルが画面全体を占めている場合にタイトルバーを削除できます。
しかし、しかし、しかし、これを行うと、ターミナルの背後の影にいくつかの不具合が発生します。おそらく、あなたはそうしないでしょう。現時点では、他の修正はありません。