Ability to quickly find the preferences (from menu or command palette) in Theia

[vparfonov]

Description

Ability to quickly find the preferences (from menu or command palette).

Inside of Theia, user has the ability to change few of the IDE preferences. The preferences are stored in an hidden file - and there is no easy way to open it.

The goal of this task, is to add the ability to open the preference file from the command palette in Theia.

[gorkem]

@vparfonov Is this somehow related with eclipse-theia/theia#341 ?

I think for Che we need to somehow centralize the user settings. Also there is a plan to implement language level settings eclipse-theia/theia#1106 which is also a candidate for centralizing. Are you covering this sort of Che-Theia mapping with this one?

[vinokurig]

Theia team proposed next approach: (eclipse-theia/theia#1433 (comment))

• Command to open the settings file (create one if it doesn't exist)
• JSON schema support

JSON schema support should give an ability to see all possible preferences.
There is an issue for that: eclipse-theia/theia#1434 but I am not sure about it's state.