ISSUE-627: Fix file tree navigation while filter active#707
Open
herbenderbler wants to merge 1 commit into
Open
ISSUE-627: Fix file tree navigation while filter active#707herbenderbler wants to merge 1 commit into
herbenderbler wants to merge 1 commit into