Theia API Documentation v1.65.0
    Preparing search index...
    interface TaskConfigurationClient {
        taskConfigurationChanged: (event: string[]) => void;
    }

    Implemented by

    Index

    Properties

    taskConfigurationChanged: (event: string[]) => void

    The task configuration file has changed, so a client might want to refresh its configurations

    Type Declaration

      • (event: string[]): void
      • Parameters

        • event: string[]

        Returns void

        an array of strings, each one being a task label