import React from "react"; import classNames from "classnames"; export class Header extends React.Component<{ children?: React.ReactNode; className?: string; }> { render() { let className = classNames("EezStudio_Header", this.props.className); return
{this.props.children}
; } } export class ToolbarHeader extends React.Component<{ children?: React.ReactNode; className?: string; style?: React.CSSProperties; }> { render() { let className = classNames( "EezStudio_Header", "EezStudio_ToolbarHeader", "EezStudio_Toolbar", this.props.className ); return (
{this.props.children}
); } } export class Body extends React.Component<{ children?: React.ReactNode; className?: string; tabIndex?: number; visible?: boolean; onClick?: (event: React.MouseEvent) => void; }> { render() { let className = classNames("EezStudio_Body", this.props.className); let style: React.CSSProperties = {}; if (this.props.visible !== undefined) { style.display = this.props.visible ? "flex" : "none"; } return (
{this.props.children}
); } } class HeaderWithBody extends React.Component<{ children?: React.ReactNode; className?: string; onContextMenu?: (event: React.MouseEvent) => void; style?: React.CSSProperties; }> { render() { let className = classNames( "EezStudio_HeaderWithBody", this.props.className ); return (
{this.props.children}
); } } export class VerticalHeaderWithBody extends React.Component<{ children?: React.ReactNode; className?: string; onContextMenu?: (event: React.MouseEvent) => void; style?: React.CSSProperties; }> { render() { let className = classNames( "EezStudio_HeaderWithBody_Vertical", this.props.className ); return ( {this.props.children} ); } } export class HorizontalHeaderWithBody extends React.Component<{ children?: React.ReactNode; className?: string; }> { render() { let className = classNames( "EezStudio_HeaderWithBody_Horizontal", this.props.className ); return ( {this.props.children} ); } }