Fixed race condition on monaco editor initialization#8563

Merged

paul-marechal merged 1 commit intoeclipse-theia:masterfrom federicobozzini:monaco-race-condition

Oct 14, 2020

+41-21

Commits on Oct 14, 2020

Fixed race condition on monaco editor initialization
federicobozzini
committed