Revert "Remove unused project name from export dialog (#2427)" (#2436)

This commit is contained in:
David Luzar 2020-12-01 14:00:13 +01:00 committed by GitHub
parent 084aff2bf3
commit 36980160ae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 605 additions and 0 deletions

View file

@ -68,6 +68,7 @@ export type AppState = {
cursorY: number;
cursorButton: "up" | "down";
scrolledOutside: boolean;
name: string;
username: string;
isCollaborating: boolean;
isResizing: boolean;