duplicate point on cmd+d (#1831)

This commit is contained in:
David Luzar 2020-07-07 13:53:44 +02:00 committed by GitHub
parent 84abda82d5
commit b1261eea70
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 91 additions and 49 deletions

View file

@ -2,12 +2,15 @@ import React from "react";
import { ExcalidrawElement } from "../element/types";
import { AppState } from "../types";
export type ActionResult = {
elements?: readonly ExcalidrawElement[] | null;
appState?: AppState | null;
commitToHistory: boolean;
syncHistory?: boolean;
};
/** if false, the action should be prevented */
export type ActionResult =
| {
elements?: readonly ExcalidrawElement[] | null;
appState?: AppState | null;
commitToHistory: boolean;
syncHistory?: boolean;
}
| false;
type ActionFn = (
elements: readonly ExcalidrawElement[],