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

    Interface ApplyEditsOptions

    interface ApplyEditsOptions {
        ignoreContentChanges: boolean;
        ignoreDirty: boolean;
    }
    Index

    Properties

    ignoreContentChanges ignoreDirty

    Properties

    ignoreContentChanges: boolean
    ignoreDirty: boolean

    Settings

    Member Visibility

    On This Page

    Properties