Options
All
  • Public
  • Public/Protected
  • All
Menu

A "GUI selector" is a CSS selector apt to be used in the GUI tree.

Hierarchy

  • GUISelector

Index

Constructors

Properties

Methods

Constructors

Private constructor

Properties

value

value: string

The value that the selector holds.

Static Private __cache

__cache: Record<string, GUISelector> = Object.create(null)

Methods

Static fromDataSelector

  • fromDataSelector(selector: string, namespaces: Record<string, string>): GUISelector
  • Make a GUI selector from a data selector. The limitations on the selector are the same as for "wed/domutil".toGUISelector.

    Parameters

    • selector: string

      A selector fit for selecting in the data tree.

    • namespaces: Record<string, string>

      The namespace mappings to use to convert prefixes in the selector.

    Returns GUISelector

    A GUISelector corresponding to the parameters used.

Static makeVerbatim

  • Make a GUI selector from a CSS selector, as-is.

    Parameters

    • selector: string

      The value that the selector will hold.

    Returns GUISelector

Generated using TypeDoc