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}
);
}
}