Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Treat double-click in the remote file dialog differently from double-…
…click in the Files view, thonny#1432
- Loading branch information