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

    Interface HoverVerbosityRequest<THover>

    interface HoverVerbosityRequest<THover = Hover> {
        previousHover: THover;
        verbosityDelta: number;
    }

    Type Parameters

    Index

    Properties

    previousHover verbosityDelta

    Properties

    previousHover: THover
    verbosityDelta: number

    Settings

    Member Visibility

    On This Page

    Properties