Skip to content

fix #9962: set session at the first place when construct ConsoleWidget#9963

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom FinnChen:masterAug 26, 2021

Commits

Commits on Aug 26, 2021