Skip to content

Add "open tabs" drop down#12411

Merged
tsmaeder merged 5 commits intoeclipse-theia:masterfrom tsmaeder:12328_open_editor_menu2May 2, 2023

Commits

Commits on Apr 30, 2023

Commits on May 1, 2023