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

    Call back for extension to contribute options to the cli.

    Implements

    Index

    Constructors

    Properties

    preferences: [string, unknown][] = []

    Methods