Theia API Documentation v1.65.0
    Preparing search index...
    editorGeneratedPreferenceProperties: PreferenceSchema["properties"] = ...

    Please do not modify this file by hand. It should be generated automatically during a Monaco uplift using the command registered by monaco-editor-preference-extractor.ts The only manual work required is fixing preferences with type 'array' or 'object'.