Options
All
  • Public
  • Public/Protected
  • All
Menu

Namespace TypeHierarchyTreeWidget

Index

Namespaces

Variables

Variables

WIDGET_ID: "theia-typehierarchy" = 'theia-typehierarchy'
WIDGET_LABEL: string = ...