Options
All
  • Public
  • Public/Protected
  • All
Menu

A reference to one of the workbench colors. Using a theme color is preferred over a custom color as it gives theme authors and users the possibility to change the color.

Hierarchy

  • ThemeColor

Index

Constructors

Constructors