Put the views selector at the top of the interface

France-ioi · Aug 14, 2023 · 577e9e2 · 577e9e2
1 parent 8ea07e2
commit 577e9e2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/frontend/task/platform/platform.ts b/frontend/task/platform/platform.ts
@@ -80,6 +80,7 @@ export function getTaskMetadata() {
     const metadata = window.json ?? window.PEMTaskMetaData ?? {
         fullFeedback: true,
         minWidth: "auto",
+        // showViews: true,
     };
     metadata.autoHeight = true;
     metadata.disablePlatformProgress = true;

diff --git a/frontend/task/task.scss b/frontend/task/task.scss
@@ -85,17 +85,18 @@ html:not([active-view="task"]) {
     height: 100%;
     min-height: 0;
   }
-  #choose-view {
-    margin-top: 0 !important;
-    > * {
-      margin: 3px 0;
-    }
-  }
   body {
     overflow: hidden;
   }
 }
 
+#choose-view {
+  margin-top: 0 !important;
+  > * {
+    margin: 3px 0;
+  }
+}
+
 // Hide Quickalgo instructions
 #task {
   display: none;