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

    Interface TailDecorationIcon

    interface TailDecorationIcon {
        color?: string;
        icon: string;
        tooltip?: string;
    }

    Hierarchy (View Summary)

    Index

    Properties

    color? icon tooltip?

    Properties

    color?: string

    The color of the icon.

    icon: string

    This should be the name of the Font Awesome icon with out the fa fa- prefix, just the name, for instance paw. For the existing icons, see here: https://fontawesome.com/v4.7.0/icons/.

    tooltip?: string

    Optional tooltip for the tail decoration.

    Settings

    Member Visibility

    On This Page

    Properties