Customize workspace file ending

I want to customize the file ending of Theia workspace files, e.g. change .theia-workspace to .custom-ws. I see THEIA_EXT being defined here, and DEFAULT_FILE_FILTER being defined here. But from my understanding there is no way yet to override those via inversify, without overriding all the functions that use these constants, right? Or am I missing something?

Hi @cradke,

While they are not overridable using Inversify, at least DEFAULT_FILE_FILTER is not readonly, so the THEIA_EXT entry can be deleted and another one added. But I believe the THEIA_EXT cannot be easily changed.