{title}
{children({
width: width - CHROME_WIDTH,
height: height - CHROME_HEIGHT,
})}
setGenWindowSize(windowId, size)}
id={"gen-resize-target"}
/>
);
};
const mapStateToProps = (state: AppState, ownProps: OwnProps): StateProps => {
const { width, height } = getWindowPixelSize(state)(ownProps.windowId);
return {
width,
height,
selected: state.windows.focused === ownProps.windowId,
windowSize: state.windows.genWindows[ownProps.windowId].size,
};
};
const mapDispatchToProps = (dispatch: Dispatch): DispatchProps => {
return {
close: (windowId: WindowId) => dispatch(closeWindow(windowId)),
setGenWindowSize: (windowId: WindowId, size: [number, number]) =>
dispatch(setWindowSize(windowId, size)),
};
};
export default connect(mapStateToProps, mapDispatchToProps)(GenWindow);