eclipse-theia/theia
keyboard navigation does not work in debug console
オープン
#5,493 opened on 2019/06/17
bugdebughelp wanted
Repository metrics
- Stars
- (18,676 個のスター)
- PR merge metrics
- (平均マージ 15d 4h) (30d で 75 merged PRs)
説明
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.