From 648cd66fc4b23071f8be7417523922009f60e0d9 Mon Sep 17 00:00:00 2001
From: Josiah Neuberger <josiah@wikimylife.org>
Date: Mon, 4 Sep 2017 15:40:58 -0400
Subject: [PATCH] fix StageHeader width not matching stage after pull request
LLK/scratch-gui#606
Commit fceba4e8b introduced new sizing behavior for the stage in
order to fit everything in a 1024 width. Adopted this same behavior
for the StageHeader component.
---
src/components/gui/gui.jsx | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/components/gui/gui.jsx b/src/components/gui/gui.jsx
index f7535473a..13a18a452 100644
--- a/src/components/gui/gui.jsx
+++ b/src/components/gui/gui.jsx
@@ -89,7 +89,13 @@ const GUIComponent = props => {
<Box className={styles.stageAndTargetWrapper}>
<Box className={styles.stageMenuWrapper}>
- <StageHeader vm={vm} />
+ <MediaQuery minWidth={layout.fullSizeMinWidth}>{isFullSize => (
+ <StageHeader
+ height={isFullSize ? layout.fullStageHeight : layout.smallerStageHeight}
+ vm={vm}
+ width={isFullSize ? layout.fullStageWidth : layout.smallerStageWidth}
+ />
+ )}</MediaQuery>
</Box>
<Box className={styles.stageWrapper}>
<MediaQuery minWidth={layout.fullSizeMinWidth}>{isFullSize => (
--
GitLab