Options
All
  • Public
  • Public/Protected
  • All
Menu

CSS styles for the Type Hierarchy widget.

Index

Variables

TYPE_HIERARCHY_TREE_CLASS: "theia-type-hierarchy-tree" = 'theia-type-hierarchy-tree'