Type Alias ContextMenuEntry

ContextMenuEntry:
    | "goToDefinition"
    | "select"
    | "unselect"
    | "unselectAll"
    | "pause"
    | "unpause"
    | "pin"
    | "unpin"
    | "refresh"
    | "pauseAllMessages"
    | "unpauseAllMessages"
    | "copyState"
    | "copyMessage"
    | "goToPinnedLocation"
    | "goToMessageLocation"
    | "hideTraceSearch"
    | "showTraceSearch"
    | "displayTargetBeforeAssumptions"
    | "displayAssumptionsBeforeTarget"
    | "hideTypeAssumptions"
    | "showTypeAssumptions"
    | "hideInstanceAssumptions"
    | "showInstanceAssumptions"
    | "hideInaccessibleAssumptions"
    | "showInaccessibleAssumptions"
    | "hideLetValues"
    | "showLetValues"
    | "hideGoalNames"
    | "showGoalNames"
    | "emphasizeFirstGoal"
    | "deemphasizeFirstGoal"
    | "saveSettings"