hoverTooltipFacet top-level property

Facet<HoverTooltipConfig, List<HoverTooltipConfig>> hoverTooltipFacet
final

Facet for collecting hover tooltip configurations.

This allows EditorView to find all registered hover tooltip sources.

Implementation

final Facet<HoverTooltipConfig, List<HoverTooltipConfig>> hoverTooltipFacet =
    Facet.define(
  FacetConfig(
    combine: (configs) => configs.toList(),
  ),
);