Fix showing rules < 10

kovzol · kovzol · commit cd776c7acfb0 · 2025-06-14T19:05:08.000+02:00
diff --git a/src/main/java/wprover/PanelProve.java b/src/main/java/wprover/PanelProve.java
@@ -1665,7 +1665,12 @@ String setNode(Cond co) {
             }
             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";
+            String ruleStr = rule + "";
+            if (rule < 10) {
+                ruleStr = "0" + ruleStr; // leading zero
+            }
+            String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule"
+                    + ruleStr + ".jpg?raw=true";
             ret += ", URL=\"" + url + "\"";
         }
         else {

Original file line number	Diff line number	Diff line change
`@@ -1665,7 +1665,12 @@ String setNode(Cond co) {`
`1665`	`1665`	`}`
`1666`	`1666`	`ret += "\"";`
`1667`	`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";`
	`1668`	`+ String ruleStr = rule + "";`
	`1669`	`+ if (rule < 10) {`
	`1670`	`+ ruleStr = "0" + ruleStr; // leading zero`
	`1671`	`+ }`
	`1672`	`+ String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/main/resources/docs/web/Rule"`
	`1673`	`+ + ruleStr + ".jpg?raw=true";`
`1669`	`1674`	`ret += ", URL=\"" + url + "\"";`
`1670`	`1675`	`}`
`1671`	`1676`	`else {`