Skip to content
This repository has been archived by the owner on Jan 11, 2023. It is now read-only.

Active file in source pane is sometimes not selected #6750

Closed
digitarald opened this issue Aug 3, 2018 · 2 comments
Closed

Active file in source pane is sometimes not selected #6750

digitarald opened this issue Aug 3, 2018 · 2 comments
Labels
Milestone

Comments

@digitarald
Copy link
Contributor

STR:

At some points, the file gets opened but the selection in source pane isn't set.

screenflow

@claim claim bot added the not-available label Aug 3, 2018
@jasonLaster jasonLaster mentioned this issue Aug 8, 2018
9 tasks
@jasonLaster jasonLaster added this to the August 28th milestone Aug 21, 2018
@janodvarko
Copy link
Member

I can't reproduce that anyone else can?
Honza

@darkwing
Copy link
Contributor

I can't reproduce this either; let's close for now and reopen if someone else can reproduce.

@janodvarko janodvarko mentioned this issue Oct 12, 2018
25 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

No branches or pull requests

4 participants