workspace3つ作ったんだけど順番を入れ替えたいんです、
設定ファイル直接書き換えでもいいんだけど手軽な方法ないでしょうか?