From 8acbc3fba716105ccab3c1b80d8e4c31c3eb8efa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Tainon?= Date: Fri, 11 Aug 2023 14:38:59 +0200 Subject: [PATCH 1/3] Display miniplatform tabs correctly --- frontend/task/task.scss | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/frontend/task/task.scss b/frontend/task/task.scss index 9350e1cf..38e0d480 100644 --- 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; From d8ea389328f1f1f6e1ce6b21239da3010436b79f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Tainon?= Date: Fri, 11 Aug 2023 15:02:08 +0200 Subject: [PATCH 2/3] [Fix] Fix Blockly editor resizing --- frontend/stepper/js/BlocklyEditor.tsx | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontend/stepper/js/BlocklyEditor.tsx b/frontend/stepper/js/BlocklyEditor.tsx index c3e712ad..08853b27 100644 --- 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) => { From 25a468de5aca33bc38b32dbb6d56da1f848e29dc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Tainon?= Date: Fri, 11 Aug 2023 15:02:40 +0200 Subject: [PATCH 3/3] Upgrade bebras-modules --- bebras-modules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bebras-modules b/bebras-modules index d531490e..f9c7edf4 160000 --- a/bebras-modules +++ b/bebras-modules @@ -1 +1 @@ -Subproject commit d531490eb80caf592f3acd054c11b91bd9ea92bc +Subproject commit f9c7edf4fb9438ab8d0e01c0bf04feacf8a3d067