import React from "react"; import { observer } from "mobx-react"; //////////////////////////////////////////////////////////////////////////////// export const Panel = observer( class Panel extends React.Component<{ id: string; title: JSX.Element | string; buttons?: JSX.Element[]; body: JSX.Element | undefined; style?: React.CSSProperties; tabIndex?: number; onFocus?: () => void; }> { render() { let title: JSX.Element; if (typeof this.props.title == "string") { title = ( {this.props.title} ); } else { title = this.props.title; } return (