Merge pull request #4436 from eatkins/unload-view

Close the current global file tree view on unload
This commit is contained in:
eugene yokota 2018-10-30 03:05:39 -04:00 committed by GitHub
commit edd0c34186
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -883,7 +883,7 @@ object BuiltinCommands {
val (_, config: FileTreeViewConfig) = extracted.runTask(Keys.fileTreeViewConfig, s)
val view: FileTreeDataView[StampedFile] = config.newDataView()
val newState = s.addExitHook {
view.close()
s.get(BasicKeys.globalFileTreeView).foreach(_.close())
s.attributes.remove(BasicKeys.globalFileTreeView)
()
}