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

    Interface BaseTailDecoration

    interface BaseTailDecoration {
        tooltip?: string;
    }

    Hierarchy (View Summary)

    Index

    Properties

    tooltip?

    Properties

    tooltip?: string

    Optional tooltip for the tail decoration.

    Settings

    Member Visibility

    On This Page

    Properties