Theia API Documentation v1.74.0
    Preparing search index...

    Per-session/per-request server-side compaction settings, carried verbatim from the chat session's common settings to the request. Kept as an object so further parameters can be added later.

    interface CompactionSettings {
        enabled?: boolean;
        tokenThreshold?: number;
    }
    Index

    Properties

    enabled?: boolean

    Explicit enablement for this session; when set it wins over the model's default. undefined means "no explicit choice".

    tokenThreshold?: number

    Input-token threshold for this session; when set it wins over the model's default. undefined preserves the provider default.