ワークスペース設定

Question

18.04を最近再インストールしたときに、ワークスペースがプライマリモニターでのみ動作するように設定を変更しました。私はこの行動が好きです。しかし、私は他にどのような設定が利用可能であるかを確認するために行っただけで、私の人生の間、どこのワークスペース設定も見つけることができません。

ワークスペース設定は現在どこにありますか？

Answer 1

pRATAPが指摘したように、これはインストールしたことを忘れていたgnome tweaksツールで利用できます。