Theia API Documentation v1.74.0
    Preparing search index...
    • Resolves whether server-side compaction is effective for a request: the model must support it (capability), then an explicit per-session setting wins, otherwise the model's resolved default applies.

      Parameters

      • capability: undefined | boolean
      • enabledByDefault: boolean
      • compaction: undefined | CompactionSettings

      Returns boolean