diff options
author | bob <bcz@cs.brown.edu> | 2020-02-12 11:42:15 -0500 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2020-02-12 11:42:15 -0500 |
commit | 0cdc613795e51693b8d7dc2c4f32b9509d050f07 (patch) | |
tree | fa5b4a36ba54ea25d1694d0dd2df2ec2578cc2e1 /src/new_fields/documentSchemas.ts | |
parent | 44808c5ffc4ed9d3859dfd28cd59f7f3b3621cfc (diff) |
added animated switching between templates + toggle Detail menu item.
Diffstat (limited to 'src/new_fields/documentSchemas.ts')
-rw-r--r-- | src/new_fields/documentSchemas.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/new_fields/documentSchemas.ts b/src/new_fields/documentSchemas.ts index aac6d4e3e..962ef2f4b 100644 --- a/src/new_fields/documentSchemas.ts +++ b/src/new_fields/documentSchemas.ts @@ -51,7 +51,6 @@ export const documentSchema = createSchema({ showTitleHover: "string", // the showTitle should be shown only on hover isButton: "boolean", // whether document functions as a button (overiding native interactions of its content) ignoreClick: "boolean", // whether documents ignores input clicks (but does not ignore manipulation and other events) - isAnimating: "string", // whether the document is in the midst of animating between two layouts (used by icons to de/iconify documents). value is undefined|"min"|"max" scrollToLinkID: "string", // id of link being traversed. allows this doc to scroll/highlight/etc its link anchor. scrollToLinkID should be set to undefined by this doc after it sets up its scroll,etc. strokeWidth: "number", fontSize: "string", |