ドックの横にある小さなオレンジ色のドットで、アプリが現在のワークスペースにあるか別のワークスペースにあるかを示す方法はありますか? たとえば、Firefox の 2 つのインスタンスが異なるワークスペースで同時に開かれている場合、1 つのドットはオレンジ色で、もう 1 つは灰色になります。
現在、私は妥協策として、次の説明に従ってワークスペースを完全に分離する方法を採用しています。Ubuntu 18.04 デスクトップのワークスペースを分離するただし、これは反対の極端であるため、理想的ではありません。
簡単な解決策はありますか?
私が求めている動作は、実際には Ubuntu 16.04 (Unity) のデフォルト モードでした。ドットの代わりに微妙な三角形が使用されました。古いドックの動作の例の画像
答え1
残念ながら、できません。現在、ウィンドウが現在のワークスペース上にない場合、実行中のウィンドウのマーカーを別の色にするオプションはありません。Ubuntu Dock は、Gnome Shell 拡張機能「Dash to Dock」に基づいています。開発者に機能リクエストを提出すると、この機能の追加が検討される可能性があります。