[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 #489
+1,400
−21,728
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.