Make the project browser work with the new navigation
@@ -272,6 +272,7 @@ public class FileBrowserViewController: UITableViewController, UIDocumentPickerD
editor.document?.editor = nil
editor.save { (_) in
+ editor.document?.close(completionHandler: { (_) in
let document = PyDocument(fileURL: url)
document.open { (_) in
@@ -281,6 +282,7 @@ public class FileBrowserViewController: UITableViewController, UIDocumentPickerD
}
#endif
+ editor.isDocOpened = false
editor.parent?.title = document.fileURL.deletingPathExtension().lastPathComponent
editor.document = document
editor.viewWillAppear(false)
@@ -293,6 +295,7 @@ public class FileBrowserViewController: UITableViewController, UIDocumentPickerD
_ = self.navigationController?.splitViewController?.displayModeButtonItem.target?.perform(action, with: self)
}
}
+ })
}
