Skip to content

Fix condition when editor tabs scroll bar needs to be updated#12477

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:12476_update_scrollbarMay 2, 2023
+4-2

Commits

Commits on May 2, 2023