>>669の状態にして再起動したらワークスペースボタンが表示されない模様