From 6af8665c0e4a2b67c9d23322c4482a436b435875 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mathias=20Maa=C3=9F?= <mathias.maass@uni-leipzig.de>
Date: Fri, 8 Feb 2019 12:49:53 +0100
Subject: [PATCH] Bugfix: isFullscreenEnabled undefined.
---
src/components/App.js | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/components/App.js b/src/components/App.js
index d0c8b7833..7b653149c 100644
--- a/src/components/App.js
+++ b/src/components/App.js
@@ -53,11 +53,14 @@ class App extends Component {
App.propTypes = {
theme: PropTypes.string.isRequired, // eslint-disable-line react/forbid-prop-types
- isFullscreenEnabled: PropTypes.bool.isRequired, // eslint-disable-line react/forbid-prop-types
+ isFullscreenEnabled: PropTypes.bool, // eslint-disable-line react/forbid-prop-types
classes: PropTypes.object.isRequired, // eslint-disable-line react/forbid-prop-types,
setWorkspaceFullscreen: PropTypes.func.isRequired,
};
+App.defaultProps = {
+ isFullscreenEnabled: false,
+};
/**
Material UI style overrides
@private
--
GitLab