This repository contains a VSCode extension allowing customization of theia online-IDEs at runtime. - View it on GitHub