style changes

hazelgrove · Oct 20, 2024 · c762c91 · c762c91
1 parent e47f631
commit c762c91
Show file tree

Hide file tree

Showing 2 changed files with 100 additions and 12 deletions.
diff --git a/src/haz3lweb/Grading.re b/src/haz3lweb/Grading.re
@@ -633,7 +633,13 @@ module ImplGradingReport = {
   };
 
   let view =
-      (~inject, ~report: t, ~syntax_report: SyntaxReport.t, ~max_points: int) => {
+      (
+        ~inject,
+        ~report: t,
+        ~syntax_report: SyntaxReport.t,
+        ~max_points: int,
+        ~settings: Settings.t,
+      ) => {
     Cell.panel(
       ~classes=["cell-item", "panel", "test-panel"],
       [
@@ -649,18 +655,99 @@ module ImplGradingReport = {
             div(
               ~attrs=[Attr.classes(["test-summary"])],
               [
-                div(
-                  ~attrs=[Attr.class_("test-text")],
-                  [
-                    score_view(
-                      score_of_percent(
-                        percentage(report, syntax_report),
-                        max_points,
+                settings.instructor_mode
+                  ? settings.editing_impl_grd_rep
+                      ? Node.div([
+                          div(
+                            ~attrs=[Attr.class_("input-field")],
+                            [
+                              label([text("New point max:")]),
+                              input(
+                                ~attrs=[
+                                  Attr.type_("number"),
+                                  Attr.class_("point-num-input"),
+                                  Attr.id("point-max-input"),
+                                  Attr.value(string_of_int(max_points)),
+                                ],
+                                (),
+                              ),
+                            ],
+                          ),
+                          div(
+                            ~attrs=[Attr.class_("edit-icon")],
+                            [
+                              Widgets.button(
+                                Icons.confirm,
+                                _ => {
+                                  let new_dist =
+                                    Obj.magic(
+                                      Js_of_ocaml.Js.some(
+                                        JsUtil.get_elem_by_id(
+                                          "point-max-input",
+                                        ),
+                                      ),
+                                    )##.value;
+
+                                  let update_events = [
+                                    inject(Set(EditingImplGrdRep)),
+                                    inject(
+                                      UpdateImplGrdRep(
+                                        int_of_string(new_dist),
+                                      ),
+                                    ),
+                                  ];
+                                  Virtual_dom.Vdom.Effect.Many(update_events);
+                                },
+                              ),
+                            ],
+                          ),
+                          div(
+                            ~attrs=[Attr.class_("edit-icon")],
+                            [
+                              Widgets.button(Icons.cancel, _ =>
+                                inject(Set(EditingImplGrdRep))
+                              ),
+                            ],
+                          ),
+                        ])
+                      : Node.div([
+                          div(
+                            ~attrs=[Attr.class_("test-text")],
+                            [
+                              score_view(
+                                score_of_percent(
+                                  percentage(report, syntax_report),
+                                  max_points,
+                                ),
+                              ),
+                            ]
+                            @ textual_summary(report)
+                            @ [
+                              div(
+                                ~attrs=[Attr.class_("edit-icon")],
+                                [
+                                  Widgets.button(Icons.pencil, _ =>
+                                    inject(Set(EditingImplGrdRep))
+                                  ),
+                                ],
+                              ),
+                            ],
+                          ),
+                        ])
+                  : Node.div([
+                      div(
+                        ~attrs=[Attr.class_("test-text")],
+                        [
+                          score_view(
+                            score_of_percent(
+                              percentage(report, syntax_report),
+                              max_points,
+                            ),
+                          ),
+                        ]
+                        @ textual_summary(report),
                       ),
-                    ),
-                  ]
-                  @ textual_summary(report),
-                ),
+                    ]),
               ]
               @ Option.to_list(
                   report.test_results

diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -295,6 +295,7 @@ let view =
         ~report=grading_report.impl_grading_report,
         ~syntax_report=grading_report.syntax_report,
         ~max_points=grading_report.point_distribution.impl_grading,
+        ~settings,
       ),
     );
   [score_view, title_view, prompt_view]