Skip to content

plugins: view/title menus in all dock panel views#12763

Merged
martin-fleck-at merged 1 commit intoeclipse-theia:masterfrom cdamus:issue/12705Aug 21, 2023
+1-2

Commits

Commits on Aug 7, 2023