Theia API Documentation v1.74.0
    Preparing search index...
    • Resolves a model's default server-side compaction enablement from the global preference and the per-provider override. 'enabled'/'disabled' force the result; 'default' defers to the global preference. Intended to be called where the preferences are read (the provider's frontend contribution) and stored on the model.

      Parameters

      Returns boolean