Options
All
  • Public
  • Public/Protected
  • All
Menu

Namespace WidgetDecoration

Namespace for the decoration data and the styling refinements for the decorated widgets.

Index

Namespaces

Enumerations

Interfaces

Type aliases

Type aliases

Color

Color: string

A string that could be:

  • one of the browser colors, (E.g.: blue, red, magenta),
  • the case insensitive hexadecimal color code, (for instance, #ee82ee, #20B2AA, #f09 ), or
  • either the rgb() or the rgba() functions.

For more details, see: https://developer.mozilla.org/en-US/docs/Web/CSS/color_value.

Note, it is highly recommended to use one of the predefined colors of Theia, so the desired color will look nice with both the light and the dark theme too.

FontStyle

FontStyle: "normal" | "bold" | "italic" | "oblique" | "underline" | "line-through"

For the sake of simplicity, we have merged the font-style, font-weight, and the text-decoration together.