Settings - MCP's new settings are not categorized and displayed under a wrong category instead of the MCP section

[safisa]

Bug Description:

Hi,

In the latest Theia 1.65, the MCP's new settings are not categorized and are displayed under the Extensions category, each key in its own separate category.

The MCP settings:
autostart, serverUrl, serverAuthToken, serverAuthTokenHeader, headers

Steps to Reproduce:

1. Open the browser sample app
2. Open the settings window
3. Check the above key under the Extensions category.

See those serverUrl, serverAuthToken, and serverAuthTokenHeader settings:

Additional Information

• Operating System: Mac - Chrome
• Theia Version: 1.65

[JonasHelming]

These settings are actually not new, they are not supposed to be even shown here in the UI, only in settings.json.

I also noticed that SCANOSS is shown there.

I can also see this bug in the Theia IDE preview.

Might be related to: #16337

Might be related to the introduction of backend preferences, @tsmaeder ?

[tsmaeder]

@JonasHelming the preference tree generator uses a complex algorithm to match preferences with the preference layout. One would have to see why these preferences are not properly matched. As for the the preferences in McpServersPreferenceSchema, none of the preferences are hidden: true or included: false. Why should the not be shown?

[ndoschek]

The SCANOSS has an incorrect settings key, it is missing the ai features prefix.

The MCP server have an issue in their declaration IMO.
A few of the additional properties are also contributed as separate preferences (without any category prefix), hence the settings are categorized in the extension category as they do not have any other matching category:

I'll take a look at it!