copyWith method

DiagramEditorState copyWith({
  1. DiagramDocument? document,
  2. DiagramSelection? selection,
  3. DiagramCameraState? camera,
  4. DiagramOptions? options,
  5. DiagramTool? activeTool,
  6. ConnectorRoute? activeConnectorRoute,
  7. DiagramCreationStyles? creationStyles,
})

Implementation

DiagramEditorState copyWith({
  DiagramDocument? document,
  DiagramSelection? selection,
  DiagramCameraState? camera,
  DiagramOptions? options,
  DiagramTool? activeTool,
  ConnectorRoute? activeConnectorRoute,
  DiagramCreationStyles? creationStyles,
}) => DiagramEditorState.withParticipant(
  document: document ?? this.document,
  options: options ?? this.options,
  participant:
      selection == null &&
          camera == null &&
          activeTool == null &&
          activeConnectorRoute == null &&
          creationStyles == null
      ? participant
      : participant.copyWith(
          selection: selection,
          camera: camera,
          activeTool: activeTool,
          activeConnectorRoute: activeConnectorRoute,
          creationStyles: creationStyles,
        ),
);