DiagramFlutterExtension constructor
const
DiagramFlutterExtension({
- required String id,
- List<
DiagramExtension> dependencies = const [], - List<
ShapeDefinition> shapes = const [], - List<
DiagramTextDefinition> textTypes = const [], - List<
DiagramConnectorDefinition> connectors = const [], - List<
DiagramConnectorRouteProvider> routes = const [], - List<
DiagramArrowheadDefinition> arrowheads = const [], - List<
DiagramPortShapeDefinition> portShapes = const [], - List<
DiagramContentDefinition> contents = const [], - List<
DiagramVerb> verbs = const [], - List<
DiagramToolDefinition> tools = const [], - List<
GraphLayoutAlgorithm< graphLayouts = const [],Layout> > - List<
DiagramDiagnosticRule> diagnostics = const [], - List<
DiagramTool> ? palette, - Object? options,
- DiagramTextLayoutEngine? textLayout,
- DiagramOutput? output,
- bool editable = false,
- DiagramCanvasContainerBuilder? container,
- List<
DiagramKeyBinding> shortcuts = const [], - Map<
String, ShapeWidgetBuilder> widgets = const {}, - List<
EffectDefinition> effects = const [], - List<
DiagramPropertyEditor> propertyEditors = const [], - DiagramPasteHandler? paste,
Implementation
const DiagramFlutterExtension({
required super.id,
super.dependencies,
super.shapes,
super.textTypes,
super.connectors,
super.routes,
super.arrowheads,
super.portShapes,
super.contents,
super.verbs,
super.tools,
super.graphLayouts,
super.diagnostics,
super.palette,
super.options,
super.textLayout,
super.output,
this.editable = false,
this.container,
this.shortcuts = const [],
this.widgets = const {},
this.effects = const [],
this.propertyEditors = const [],
this.paste,
});