ワークスペースの微調整
Linux Mint 19.2（これまでで最高の決定）から切り替えたところですが、UbuntuワークスペースとMintワークスペースには、気に入らない点が1つあります。 Mintでワークスペースを切り替えるとドックが更新され、フォーカスのある特定のワークスペースのウィンドウのみがドキュメントに表示されました。 Ubuntuでは、どのワークスペースにフォーカスがあっても、すべてのワークスペースで開いているウィンドウがドックに表示されます。
ワークスペースを切り替えるときに、UbuntuドックをMintドックのように動作させる方法はありますか？
私はUbuntu 19.10を搭載したDell XPS13 9380を使用しています。追加情報を提供してほしい場合は、お問い合わせください。
ソリューションは、@ Terranceによって私の元の投稿の下にコメントとして投稿されました。
「extensions.gnome.org/extension/887/workspace-isolated-dashを試してみてください」
私はコマンドを実行しました：
dconf write /org/gnome/Shell/extensions/dash-to-dock/isolate-workspaces true
そしてそれは完璧に動作します。