Deploying to gh-pages from @ 25ec4e6 🚀

luth1um · Sep 3, 2024 · 6a544e2 · 6a544e2
1 parent ccd53c6
commit 6a544e2
Show file tree

Hide file tree

Showing 7 changed files with 145 additions and 135 deletions.
diff --git a/assets/index-1QYX0ax7.js b/assets/index-1QYX0ax7.js
diff --git a/assets/index-TDfvff1G.js b/assets/index-TDfvff1G.js
diff --git a/assets/timed_automata_analyzer_bg-Do-yyFjO.wasm b/assets/timed_automata_analyzer_bg-Do-yyFjO.wasm
diff --git a/assets/timed_automata_analyzer_bg-La1nU_Yn.wasm b/assets/timed_automata_analyzer_bg-La1nU_Yn.wasm
diff --git a/index.html b/index.html
@@ -5,7 +5,7 @@
     <link rel="icon" type="image/svg+xml" href="/timed-automata-analysis/vite.svg" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>TA Analysis</title>
-    <script type="module" crossorigin src="/timed-automata-analysis/assets/index-1QYX0ax7.js"></script>
+    <script type="module" crossorigin src="/timed-automata-analysis/assets/index-TDfvff1G.js"></script>
     <link rel="stylesheet" crossorigin href="/timed-automata-analysis/assets/index-53nMlWTL.css">
   </head>
   <body>

diff --git a/locales/de/translation.json b/locales/de/translation.json
@@ -1,6 +1,7 @@
 {
   "app.title": "Analyse von Timed Automata",
   "manipulation.button.reachability": "Erreichbarkeit",
+  "manipulation.button.reset": "TA zurücksetzen",
   "manipulation.table.showContent": "{{content}} ausklappen",
   "manipulation.table.hideContent": "{{content}} einklappen",
   "manipulation.table.addElement": "{{content}} hinzufügen",
@@ -21,6 +22,10 @@
   "analysisDialog.analysis.resultSomeUnreachable": "Die folgenden Orte sind unerreichbar:",
   "analysisDialog.button.close": "Schließen",
   "analysisDialog.button.analyze": "Starten",
+  "resetDialog.title": "Zurücksetzen bestätigen",
+  "resetDialog.contentText": "Bist du sicher, dass du den TA zurücksetzen möchtest? Alle Änderungen gehen dabei verloren.",
+  "resetDialog.button.cancel": "Abbrechen",
+  "resetDialog.button.reset": "Zurücksetzen",
   "locDialog.errorNameEmpty": "Name darf nicht leer sein",
   "locDialog.errorNameExists": "Name wird bereits verwendet",
   "locDialog.editLoc": "Ort bearbeiten",

diff --git a/locales/en/translation.json b/locales/en/translation.json
@@ -1,6 +1,7 @@
 {
   "app.title": "Timed-Automata Analysis",
   "manipulation.button.reachability": "Reachability",
+  "manipulation.button.reset": "Reset TA",
   "manipulation.table.showContent": "Show {{content}}",
   "manipulation.table.hideContent": "Hide {{content}}",
   "manipulation.table.addElement": "Add {{content}}",
@@ -21,6 +22,10 @@
   "analysisDialog.analysis.resultSomeUnreachable": "The following locations are unreachable:",
   "analysisDialog.button.close": "Close",
   "analysisDialog.button.analyze": "Analyze",
+  "resetDialog.title": "Confirm Reset",
+  "resetDialog.contentText": "Are you sure that you want to reset the TA? All changes will be lost.",
+  "resetDialog.button.cancel": "Cancel",
+  "resetDialog.button.reset": "Reset",
   "locDialog.errorNameEmpty": "Name cannot be empty",
   "locDialog.errorNameExists": "Name already exists",
   "locDialog.editLoc": "Edit Location",