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

    Call back for extension to contribute options to the cli.

    Implements

    Index

    Constructors

    Properties

    logger: ILogger
    preferences: [string, unknown][] = []
    sessionPreferences: [string, unknown][] = []

    Methods