-
@@ -517,46 +442,13 @@ class WebScreenView extends React.Component<{screen : T.WebFullScreen}, {}> {
}
render() {
- let {screen} = this.props;
- let lines = screen.lines ?? [];
- let cmds = screen.cmds ?? [];
- let cmdMap : Record
= {};
- for (let i=0; i{dateSepStr}
- lineElements.push(sepElem);
- }
- let topBorder = (dateSepStr == null) && (idx != 0);
- let lineElem =