eclipse-theia/theia
View on GitHubkeyboard navigation does not work in debug console
Open
#5,493 opened on Jun 17, 2019
bugdebughelp wanted
Repository metrics
- Stars
- (18,676 stars)
- PR merge metrics
- (Avg merge 15d 4h) (75 merged PRs in 30d)
Description
There is also seem to be a race condition between tree widget rows and selected row. Sometimes a selected row get updated before rows are updated.