Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #2919 from dzosz/fix_working_directory
PR: Synchronize entry in Working Directory toolbar with console's current working directory
- Loading branch information