
@tony-- thank you for the issue, it has already been registered here https://github.com/eclipse-theia/theia/issues/6011
Thanks for the pointer @vince-fugnitto!
@tony-- no problem, if you'd like to try and resolve the issue please let me know! :)
@tony-- I managed to find a fix for it, thanks for pointing out the problem again!
https://github.com/eclipse-theia/theia/pull/6435