Merge pull request #330 from France-ioi/mini-platform-tabs

Display miniplatform tabs correctly
France-ioi · Aug 11, 2023 · 8ea07e2 · 8ea07e2
2 parents f0f2a69 + 25a468d
commit 8ea07e2
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 2 deletions.
diff --git a/bebras-modules b/bebras-modules
diff --git a/frontend/stepper/js/BlocklyEditor.tsx b/frontend/stepper/js/BlocklyEditor.tsx
@@ -74,6 +74,10 @@ export const BlocklyEditor = (props: BlocklyEditorProps) => {
 
     const resize = () => {
         log.getLogger('editor').debug('[blockly.editor] resize');
+        if (context && context.blocklyHelper) {
+            context.blocklyHelper.unloadLevel();
+        }
+        onLoad();
     };
 
     const onBlocklyEvent = (event) => {

diff --git a/frontend/task/task.scss b/frontend/task/task.scss
@@ -76,8 +76,20 @@ html {
 
 html:not([active-view="task"]) {
   height: 100%;
-  body, #react-container {
+  body {
+    height: 100%;
+    display: flex;
+    flex-direction: column;
+  }
+  #react-container {
     height: 100%;
+    min-height: 0;
+  }
+  #choose-view {
+    margin-top: 0 !important;
+    > * {
+      margin: 3px 0;
+    }
   }
   body {
     overflow: hidden;