うお、GitHub見てたら、数分前から急にソースファイルを開いたときに左側にディレクトリツリーが出るようになった。