|
|
|
|
@ -3116,7 +3116,8 @@ class App extends React.Component<AppProps, AppState> {
@@ -3116,7 +3116,8 @@ class App extends React.Component<AppProps, AppState> {
|
|
|
|
|
| "eraser" |
|
|
|
|
| "hand" |
|
|
|
|
| "frame" |
|
|
|
|
| "embeddable"; |
|
|
|
|
| "embeddable" |
|
|
|
|
| "mermaid"; |
|
|
|
|
} |
|
|
|
|
| { type: "custom"; customType: string }, |
|
|
|
|
) => { |
|
|
|
|
@ -3138,7 +3139,12 @@ class App extends React.Component<AppProps, AppState> {
@@ -3138,7 +3139,12 @@ class App extends React.Component<AppProps, AppState> {
|
|
|
|
|
if (nextActiveTool.type !== "selection") { |
|
|
|
|
this.setState({ |
|
|
|
|
activeTool: nextActiveTool, |
|
|
|
|
selectedElementIds: makeNextSelectedElementIds({}, this.state), |
|
|
|
|
selectedElementIds: makeNextSelectedElementIds( |
|
|
|
|
nextActiveTool.type === "mermaid" |
|
|
|
|
? this.state.selectedElementIds |
|
|
|
|
: {}, |
|
|
|
|
this.state, |
|
|
|
|
), |
|
|
|
|
selectedGroupIds: {}, |
|
|
|
|
editingGroupId: null, |
|
|
|
|
activeEmbeddable: null, |
|
|
|
|
|