Initial version of showing GDD proof in GraphViz Online (with minor fix)

kovzol · kovzol · commit 557463ad8ee9 · 2025-06-13T08:31:33.000+02:00
diff --git a/src/main/java/wprover/GExpert.java b/src/main/java/wprover/GExpert.java
@@ -1178,7 +1178,8 @@ public void addMenueToolBar() {
         addImageToItem(item);
         item = addAMenu(menu, "Save GDD Proof as GraphViz File", null, this);
         addImageToItem(item);
-
+        item = addAMenu(menu, "Open GDD Proof in GraphViz Online", null, this);
+        addImageToItem(item);
         menu.addSeparator();
         item = addAMenu(menu, "Print", "Print the client area", 'P', this);
         addImageToItem(item, "print");
@@ -1765,6 +1766,8 @@ public String getDescription() {
 
         } else if (command.equalsIgnoreCase("Save GDD Proof as GraphViz File")) {
             this.saveGDDProofAsGraphViz(src);
+        } else if (command.equalsIgnoreCase("Open GDD Proof in GraphViz Online")) {
+            this.openGDDProofGraphVizOnline();
         } else if (command.equals("Save as Text")) {
             if (!need_save())
                 return;
@@ -2237,6 +2240,14 @@ private void saveGDDProofAsGraphViz(Object src) {
         }
     }
 
+    /**
+     * Opens the GDD proof as a GraphViz file in GraphViz Online.
+     */
+    private void openGDDProofGraphVizOnline() {
+        openURL("https://dreampuf.github.io/GraphvizOnline/?engine=dot#"
+                + PanelProve.graphvizProgram);
+    }
+
     /**
      * Opens a GeoGebra file (.ggb) and loads its content.
      *
diff --git a/src/main/java/wprover/PanelProve.java b/src/main/java/wprover/PanelProve.java
@@ -1664,15 +1664,15 @@ String setNode(Cond co) {
                 ret += "\\n" + getLanguage(exstring);
             }
             ret += "\"";
+            // The files Rule??.jpg are located in the folder web (FIXME: make the GitHub repository configurable for forks):
+            String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule" + rule + ".jpg?raw=true";
+            ret += ", URL=\"" + url + "\"";
         }
         else {
             ret += ", tooltip = \" \""; // do not show any tooltip
         }
-        // The files Rule??.jpg are located in the folder web:
-        String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule" + rule + ".jpg?raw=true";
-        ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"" +
-                ", URL=\"" + url + "\""
-                + "];\n";
+
+        ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"];\n";
         return ret;
     }
 

Original file line number	Diff line number	Diff line change
`@@ -1664,15 +1664,15 @@ String setNode(Cond co) {`
`1664`	`1664`	`ret += "\\n" + getLanguage(exstring);`
`1665`	`1665`	`}`
`1666`	`1666`	`ret += "\"";`
	`1667`	`+ // The files Rule??.jpg are located in the folder web (FIXME: make the GitHub repository configurable for forks):`
	`1668`	`+ String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule" + rule + ".jpg?raw=true";`
	`1669`	`+ ret += ", URL=\"" + url + "\"";`
`1667`	`1670`	`}`
`1668`	`1671`	`else {`
`1669`	`1672`	`ret += ", tooltip = \" \""; // do not show any tooltip`
`1670`	`1673`	`}`
`1671`		`- // The files Rule??.jpg are located in the folder web:`
`1672`		`- String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule" + rule + ".jpg?raw=true";`
`1673`		`- ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"" +`
`1674`		`- ", URL=\"" + url + "\""`
`1675`		`- + "];\n";`
	`1674`	`+`
	`1675`	`+ ret += ", style = \"" + s + "\", shape = " + f + ", fillcolor = \"" + c + "\"];\n";`
`1676`	`1676`	`return ret;`
`1677`	`1677`	`}`
`1678`	`1678`