私は最近、デフォルトのドックとは対照的に見た目が好きだったので、Ubuntu 18.04にGnomeの 'dash-to-dock'拡張機能をインストールしました。
常にドックを確認したいので、自動非表示機能にはあまり興味がなかったので、拡張機能が気に入りました。開いているアプリケーションやメッセージのバッジアイコンなどを確認できます。自動非表示機能をオフにしました。私がそれをしたとき、私はこれを得ましたが:
ドックがウィンドウをオーバーレイする代わりに押し上げたのは、私が予想したとおりで、自動非表示が有効になっているときにどのように表示されたかです。設定をチェックインしましたが、これを変更するためのものが見つかりませんでした。 「ダッシュからパネルへ」の拡張機能も試しましたが、私が望んでいたものを実現しませんでした。これについては、オンラインでもあまり情報がないようです。
この拡張機能または別の拡張機能のいずれかを使用してこれを達成する方法があるのか、それともGnomeでは不可能であるのかと思いました。
ドックを常に表示したい場合は、ここに回避策があります。
質問で述べたように、自動非表示機能をオフにしないでください。
dash-to-dock extension
direcotry、それは$HOME/.local/share/gnome-Shell/extensions/
または/usr/share/gnome-Shell/extensions/
ファイルを開くintellihide.js
、私の場合は
$HOME/.local/share/gnome-Shell/extensions/[email protected]/intellihide.js
行番号105(this._isEnabled = true;
)#値をfalse
に変更します
enable: function() {
this._isEnabled = false;
this._status = OverlapStatus.UNDEFINED;
global.get_window_actors().forEach(function(wa) {
this._addWindowSignals(wa);
}, this);
this._doCheckOverlap();
},
ファイルを保存して閉じます。
Alt + F2でgnome-Shellを更新し、rと入力してEnterキーを押します