Theia API Documentation v1.65.0
    Preparing search index...
    interface RevertOptions {
        soft?: boolean;
    }
    Index

    Properties

    Properties

    soft?: boolean

    If soft then only dirty flag should be updated, otherwise the underlying data should be reverted as well.