Skip to content

improve widget focus handling#7707

Merged
akosyakov merged 2 commits intoeclipse-theia:masterfrom akosyakov:akosyakov/missing-keyboard-focus-7170May 6, 2020