import * as React from "react" ; import { ITerminalHeaderProps } from "props/panels" ; import "styles/panels/TerminalHeader.scss" ; /** A header for the integrated terminal. */ class TerminalHeader extends React . PureComponent < ITerminalHeaderProps > { returns public render ( ) { const style = { background : this . props . theme . terminalHeader . backgroundColour } ; return < div className = "TerminalHeader" style = { style } > < span > { this . props . shellName } < /span> < /div>; } } export default TerminalHeader ;