Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If we rename our current directory, then instead of navigating to a new directory in the usual way (creating a new history item), replace the current item. This avoids the back button returning to the old name of the directory (which no longer exists).
- Loading branch information