Add setting to hide sidebar

Author: Negabinary

src/web/Main.re

@@ -231,13 +231,7 @@ let start = {
   let%arr app_model = app_model
   and app_inject = app_inject;
   try(
-    History.View.view(
-      app_model,
-      ~inject=app_inject,
-      ~get_log_and=Log.get_and,
-      ~next_log=
-        Util.ListUtil.hd_opt(app_model.future_log) |> Option.map(snd),
-    )
+    History.View.view(app_model, ~inject=app_inject, ~get_log_and=Log.get_and)
   ) {
   | exc =>
     print_endline(

src/web/Settings.re

@@ -10,6 +10,7 @@ module Model = {
     context_inspector: bool,
     instructor_mode: bool,
     benchmark: bool,
+    show_log_panel: bool,
     explainThis: ExplainThisModel.Settings.t,
     assistant: AssistantSettings.t,
     sidebar: SidebarModel.Settings.t,
@@ -43,6 +44,7 @@ module Model = {
     context_inspector: false,
     instructor_mode: false,
     benchmark: false,
+    show_log_panel: false,
     explainThis: {
       show: true,
       show_feedback: false,
@@ -113,6 +115,7 @@ module Update = {
     | Benchmark
     | ContextInspector
     | InstructorMode
+    | ShowLogPanel
     | Evaluation(evaluation)
     | Sidebar(SidebarModel.Settings.action)
     | ExplainThis(ExplainThisModel.Settings.action)
@@ -312,6 +315,11 @@ module Update = {
             },
           }
         }
+      | ShowLogPanel => {
+          ...settings,
+          show_log_panel:
+            !settings.show_log_panel && ExerciseSettings.show_instructor,
+        }
       | Benchmark => {
           ...settings,
           benchmark: !settings.benchmark,

src/web/app/History.re

@@ -295,12 +295,7 @@ module Selection = {
 
 module View = {
   let view =
-      (
-        ~get_log_and,
-        ~inject: Update.t => Ui_effect.t(unit),
-        ~next_log: option(Update.t),
-        model: Model.t,
-      ) => {
-    Page.View.view(~get_log_and, ~inject, ~next_log, model.current);
+      (~get_log_and, ~inject: Update.t => Ui_effect.t(unit), model: Model.t) => {
+    Page.View.view(~get_log_and, ~inject, model.current);
   };
 };

src/web/app/Page.re

@@ -635,13 +635,7 @@ module View = {
     );
   };
 
-  let top_bar =
-      (
-        ~globals,
-        ~inject: Update.t => Ui_effect.t(unit),
-        ~editors,
-        ~next_log: option(Update.t),
-      ) =>
+  let top_bar = (~globals, ~inject: Update.t => Ui_effect.t(unit), ~editors) =>
     div(
       ~attrs=[Attr.id("top-bar")],
       [
@@ -672,7 +666,6 @@ module View = {
         ~get_log_and: (string => unit) => unit,
         ~inject: Update.t => Ui_effect.t(unit),
         ~cursor: Cursor.cursor(Editors.Update.t),
-        ~next_log: option(Update.t),
         {
           globals,
           editors,
@@ -756,7 +749,7 @@ module View = {
     };
 
     [
-      top_bar(~globals, ~inject, ~editors, ~next_log),
+      top_bar(~globals, ~inject, ~editors),
       div(
         ~attrs=[
           Attr.id("main"),
@@ -772,17 +765,12 @@ module View = {
   };
 
   let view =
-      (
-        ~get_log_and,
-        ~inject: Update.t => Ui_effect.t(unit),
-        ~next_log: option(Update.t),
-        model: Model.t,
-      ) => {
+      (~get_log_and, ~inject: Update.t => Ui_effect.t(unit), model: Model.t) => {
     let cursor = Selection.get_cursor_info(~selection=model.selection, model);
     div(
       ~attrs=[Attr.id("page"), ...handlers(~cursor, ~inject, model)],
       [FontSpecimen.view, JsUtil.clipboard_shim]
-      @ main_view(~get_log_and, ~cursor, ~inject, ~next_log, model),
+      @ main_view(~get_log_and, ~cursor, ~inject, model),
     );
   };
 };

src/web/app/sidebar/Sidebar.re

@@ -102,8 +102,10 @@ let persistent_view = (~globals: Globals.t) =>
           explain_this_tab(~globals),
           assistant_tab(~globals),
           probes_tab(~globals),
-          log_control_tab(~globals),
-        ],
+        ]
+        @ (
+          globals.settings.show_log_panel ? [log_control_tab(~globals)] : []
+        ),
       ),
     ],
   );

src/web/view/NutMenu.re

@@ -116,7 +116,12 @@ let dev_group = (~globals) => {
     ~globals,
     "Developer",
     [
-      ("✓", "Benchmarks", globals.settings.benchmark, Benchmark),
+      (
+        "✓",
+        "Benchmarks",
+        globals.settings.benchmark,
+        Settings.Update.Benchmark,
+      ),
       ("𝑒", "Elaboration", globals.settings.core.elaborate, Elaborate),
       ("↵", "Whitespace", globals.settings.secondary_icons, SecondaryIcons),
       (
@@ -125,7 +130,19 @@ let dev_group = (~globals) => {
         globals.settings.core.flip_animations,
         FlipAnimations,
       ),
-    ],
+    ]
+    @ (
+      ExerciseSettings.show_instructor
+        ? [
+          (
+            "📃",
+            "Log Panel",
+            globals.settings.show_log_panel,
+            ShowLogPanel,
+          ),
+        ]
+        : []
+    ),
   );
 };