TOML Support

[svenefftinge]

We could possibly leverage configuration and LS from https://github.com/bungcip/better-toml

[jankeromnes]

Great idea! @akosyakov do you think we could install it as a VSCode extension in Gitpod's Theia, or would it be more practical to steal/import its configuration and language server directly?

[akosyakov]

Right now there is no way to install VS Code extensions in Gitpod. We could start by trying out support of better-toml with pure Theia and raise issues for missing APIs and metadata support.

In order to try with local Theia:

• download vsix file for an extension to some folder
• point THEIA_DEFAULT_PLUGINS env variable to this folder, like export THEIA_DEFAULT_PLUGINS=local-dir:///myplugins_folder
• start Theia app with plugin-ext and plugin-ext-vscode extensions installed

You can try it with Gitpod using the browser app from Theia repo.

[jankeromnes]

Thanks @akosyakov. I'll soon try using the TOML VSCode extension in Theia directly, and file any bugs I encounter.

@svenefftinge In the short term, TOML is very close to INI, which Theia already supports. Do you think it's possible to somehow coerce Gitpod into syntax-highlighting TOML as INI? It would look like this:

[jankeromnes]

I extended Theia's INI grammar to include .properties and .toml files in https://github.com/theia-ide/theia/pull/4015.

This should make TOML support good enough until we can use the VSCode extension with its language server.

[svenefftinge]

Great, then let's close this issue.

[jankeromnes]

Having the language server you mentioned would be great as well, but I agree that it can wait that VSCode extensions are well supported.