@leanprover/infoview
    Preparing search index...

    Interface ContextMenuAction

    interface ContextMenuAction {
        entry: ContextMenuEntry;
        id: string;
    }
    Index

    entry

    id: string

    An entry-specific identifier extracted from data-vscode-context. For example, for goToDefinition it is the value of interactiveCodeTagId. See https://code.visualstudio.com/api/extension-guides/webview#context-menus.