やっぱたまに右上にでる【ワークスペース\d】が消えない。うち環境？
Cinnamonです。