Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[stable15] Fix opening folders from different file lists #14891
This PR fixes navigating to folders from file lists which are not the default one. To achieve proper navigation we need to switch to the default file list before trying to navigate to the actual directory.
Steps to reproduce:
Backport of #14886