diff options
| author | srichman333 <sarah_n_richman@brown.edu> | 2024-02-19 10:56:45 -0500 |
|---|---|---|
| committer | srichman333 <sarah_n_richman@brown.edu> | 2024-02-19 10:56:45 -0500 |
| commit | 89bb6c977e57f696fd96e9e79bcb44840b20cb49 (patch) | |
| tree | bea14fd2f1ca3faf0bd1b2cb9b96a4404d2340f1 /src/client/views/collections/TabDocView.tsx | |
| parent | a1939f7547413aa97c8d8967f57b4bb5aea0cdef (diff) | |
| parent | 6641de1eec4ee71fa08baa0600d0dcb2a3b03a4a (diff) | |
Merge branch 'master' into data-visualization-sarah
Diffstat (limited to 'src/client/views/collections/TabDocView.tsx')
| -rw-r--r-- | src/client/views/collections/TabDocView.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/collections/TabDocView.tsx b/src/client/views/collections/TabDocView.tsx index 9bc3ef822..02aa76d82 100644 --- a/src/client/views/collections/TabDocView.tsx +++ b/src/client/views/collections/TabDocView.tsx @@ -520,6 +520,7 @@ interface TabMiniThumbProps { miniLeft: () => number; } +@observer class TabMiniThumb extends React.Component<TabMiniThumbProps> { render() { return <div className="miniThumb" style={{ width: `${this.props.miniWidth()}% `, height: `${this.props.miniHeight()}% `, left: `${this.props.miniLeft()}% `, top: `${this.props.miniTop()}% ` }} />; |