Skip to content

Fix some API inconsistencies related to web views#12091

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom tsmaeder:12087_fix_webview_apiJan 25, 2023
+13-7

Commits

Commits on Jan 20, 2023