editorTheme top-level property

Facet<EditorThemeData, EditorThemeData> editorTheme
final

Facet for the editor theme data.

Use editorTheme.of(myTheme) to provide a custom theme.

Implementation

final Facet<EditorThemeData, EditorThemeData> editorTheme = Facet.define(
  FacetConfig(
    combine: (themes) {
      if (themes.isEmpty) return lightEditorTheme;
      // Merge all themes, later ones override earlier ones
      var result = lightEditorTheme;
      for (final t in themes) {
        result = result.merge(t);
      }
      return result;
    },
  ),
);