(props)
| 15197 | }))))); |
| 15198 | } |
| 15199 | function Compact(props) { |
| 15200 | return (0, _base.base).react.createElement("div", { |
| 15201 | title: props.text, |
| 15202 | onClick: ()=>{ |
| 15203 | props.onDataScopeClick(props.dataScopeId); |
| 15204 | } |
| 15205 | }, short(props.count)); |
| 15206 | } |
| 15207 | function DataScopeButton(props) { |
| 15208 | return (0, _base.base).react.createElement((0, _button.Button), { |
| 15209 | themePalette: props.themePalette, |