Print instruction summary

2026-01-26 23:11:01 +00:00 · 2025-08-18 19:00:31 +02:00
parent 5a3d05c64c
commit c71c204583
5 changed files with 81 additions and 3 deletions
--- a/page/src/components/settings-menu.tsx
+++ b/page/src/components/settings-menu.tsx
@@ -172,6 +172,21 @@ export class SettingsMenu extends React.Component<SettingsMenuProps, Settings> {
          />
        </div>

+        <div className="flex gap-6">
+          <Checkbox
+            id="settings-summary"
+            checked={this.state.instructionSummary}
+            onCheckedChange={(checked: boolean) => {
+              this.setState({ instructionSummary: checked });
+            }}
+          />
+          <SettingsLabel
+            htmlFor="settings-summary"
+            text={"Print Instruction Summary"}
+            tooltip={"Print summary of executed instructions"}
+          />
+        </div>
+
        <div className="flex gap-6">
          <Checkbox
            id="settings-persist"