ワークスペース設定

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

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

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