add produktrapport

2026-06-12 22:05:02 +02:00 · 2026-06-12 22:05:02 +02:00 · 9ecf476c94
commit 9ecf476c94
parent 336c1de326
5 changed files with 2 additions and 0 deletions
--- a/app/src/editor/Editor.ts
+++ b/app/src/editor/Editor.ts
@ -94,6 +94,8 @@ export class Editor {
          }
          case "SaveRequest": {
            this.project.save();
+            // hack to simulate as often as possible
+            this.events.send({ tag: "SimulateRequest" });
            break;
          }
        }
--- a/docs/class_diagram.png
+++ b/docs/class_diagram.png
--- a/docs/produktrapport.docx
+++ b/docs/produktrapport.docx
--- a/docs/produktrapport.odt
+++ b/docs/produktrapport.odt
--- a/docs/produktrapport.pdf
+++ b/docs/produktrapport.pdf