diff options
| author | bob <bcz@cs.brown.edu> | 2019-02-22 15:24:42 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-02-22 15:24:42 -0500 |
| commit | 1e83695f1380b7824d36bdc55305c44117f6da2c (patch) | |
| tree | 3a2994e6c74657f168e9d9d8cf76ab98c45024c1 /src/client/views/nodes/DocumentView.tsx | |
| parent | 441775f3e16e56e1516c8fa93d12e4faaae03b38 (diff) | |
changed PanelSize to PanelWidth/Height
Diffstat (limited to 'src/client/views/nodes/DocumentView.tsx')
| -rw-r--r-- | src/client/views/nodes/DocumentView.tsx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/views/nodes/DocumentView.tsx b/src/client/views/nodes/DocumentView.tsx index 69e413c6f..c026e13cd 100644 --- a/src/client/views/nodes/DocumentView.tsx +++ b/src/client/views/nodes/DocumentView.tsx @@ -31,7 +31,8 @@ export interface DocumentViewProps { isTopMost: boolean; //tfs: This shouldn't be necessary I don't think Scaling: number; - PanelSize: number[]; + PanelWidth: number; + PanelHeight: number; } export interface JsxArgs extends DocumentViewProps { Keys: { [name: string]: Key } |