Merge branch 'develop' into mobile-support
This commit is contained in:
commit
e8239bf049
|
@ -35,7 +35,7 @@ export interface SquiggleEditorProps {
|
||||||
/** when the environment changes. Used again for notebook magic*/
|
/** when the environment changes. Used again for notebook magic*/
|
||||||
onChange?(expr: squiggleExpression): void;
|
onChange?(expr: squiggleExpression): void;
|
||||||
/** The width of the element */
|
/** The width of the element */
|
||||||
width: number;
|
width?: number;
|
||||||
/** Previous variable declarations */
|
/** Previous variable declarations */
|
||||||
bindings?: bindings;
|
bindings?: bindings;
|
||||||
/** JS Imports */
|
/** JS Imports */
|
||||||
|
@ -141,8 +141,6 @@ export interface SquigglePartialProps {
|
||||||
diagramCount?: number;
|
diagramCount?: number;
|
||||||
/** when the environment changes. Used again for notebook magic*/
|
/** when the environment changes. Used again for notebook magic*/
|
||||||
onChange?(expr: bindings): void;
|
onChange?(expr: bindings): void;
|
||||||
/** The width of the element */
|
|
||||||
width: number;
|
|
||||||
/** Previously declared variables */
|
/** Previously declared variables */
|
||||||
bindings?: bindings;
|
bindings?: bindings;
|
||||||
/** Variables imported from js */
|
/** Variables imported from js */
|
||||||
|
|
Loading…
Reference in New Issue
Block a user