Add two text keys

kovzol · kovzol · commit 5da31207939e · 2025-06-14T20:02:10.000+02:00
diff --git a/src/main/java/wprover/GExpert.java b/src/main/java/wprover/GExpert.java
@@ -2243,7 +2243,10 @@ private void saveGDDProofAsGraphViz(Object src) {
      * Opens the GDD proof as a GraphViz file in GraphViz Online.
      */
     private void openGDDProofGraphVizOnline() {
-        try {
+        if (PanelProve.graphvizProgram.length() == 0) {
+            JOptionPane.showMessageDialog(null,
+                    GExpert.getTranslationViaGettext("No GDD proof has been achieved yet"));
+        } else try {
             URL url = new URL("https://dreampuf.github.io/GraphvizOnline/?engine=dot#" + PanelProve.graphvizProgram);
             URI uri = new URI(url.getProtocol(), url.getUserInfo(), IDN.toASCII(url.getHost()), url.getPort(), url.getPath(), url.getQuery(), url.getRef());
             String correctEncodedURL = uri.toASCIIString();
diff --git a/src/main/po/de.po b/src/main/po/de.po
@@ -3499,3 +3499,9 @@ msgstr "Zuletzt geändert am"
 
 #~ msgid "Freezed"
 #~ msgstr "Eingefriert"
+
+msgid "No GDD proof has been achieved yet"
+msgstr "Noch kein GDD-Beweis wurde generiert"
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr "GDD-Beweis in GraphViz Online öffnen"
diff --git a/src/main/po/fa.po b/src/main/po/fa.po
@@ -3541,6 +3541,12 @@ msgstr "اندازه فونت"
 msgid "Date Modified"
 msgstr ""
 
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr ""
+
 #~ msgid "Set One"
 #~ msgstr "مجموعه یک"
 
diff --git a/src/main/po/fr.po b/src/main/po/fr.po
@@ -3593,6 +3593,13 @@ msgstr "Taille"
 msgid "Date Modified"
 msgstr "Date de modification"
 
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+#, fuzzy
+msgid "Open GDD Proof in GraphViz Online"
+msgstr "Sauvegarder la preuve GDD comme fichier GraphViz"
+
 #~ msgid "Set One"
 #~ msgstr "Ensemble un"
 
diff --git a/src/main/po/he.po b/src/main/po/he.po
@@ -3601,6 +3601,12 @@ msgstr "גודל"
 msgid "Date Modified"
 msgstr "שונה לאחרונה בתאריך"
 
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr ""
+
 #~ msgid "Set One"
 #~ msgstr "קבוצה 1"
 
diff --git a/src/main/po/hu.po b/src/main/po/hu.po
@@ -3548,6 +3548,12 @@ msgstr "Méret"
 msgid "Date Modified"
 msgstr "Módosítás dátuma"
 
+msgid "No GDD proof has been achieved yet"
+msgstr "Még nem készült GDD-bizonyítás"
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr "A GDD-bizonyítás megnyitása GraphViz Online-ban"
+
 #~ msgid "Set One"
 #~ msgstr "1. halmaz"
 
diff --git a/src/main/po/it.po b/src/main/po/it.po
@@ -3587,6 +3587,12 @@ msgstr "Dimensione Font"
 msgid "Date Modified"
 msgstr ""
 
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr ""
+
 #~ msgid "Set One"
 #~ msgstr "Fissane uno"
 
diff --git a/src/main/po/keys.pot b/src/main/po/keys.pot
@@ -3337,3 +3337,9 @@ msgstr ""
 
 msgid "Date Modified"
 msgstr ""
+
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr ""
diff --git a/src/main/po/pl.po b/src/main/po/pl.po
@@ -3624,6 +3624,12 @@ msgstr "Rozmiar"
 msgid "Date Modified"
 msgstr "Data modyfikacji"
 
+msgid "No GDD proof has been achieved yet"
+msgstr ""
+
+msgid "Open GDD Proof in GraphViz Online"
+msgstr ""
+
 #~ msgid "Set One"
 #~ msgstr "Zbiór Jeden"
 
diff --git a/src/main/po/pt.po b/src/main/po/pt.po
diff --git a/src/main/po/rs.po b/src/main/po/rs.po
diff --git a/src/main/po/zh_CN.po b/src/main/po/zh_CN.po
