use release tag for downloading latest github releases...

2025-11-17 03:08:02 +00:00 · 2024-10-25 17:24:48 +08:00
parent dcbd25d00e
commit 9897c85559
6 changed files with 55 additions and 4 deletions
--- a/forge-gui-mobile-dev/src/forge/app/Main.java
+++ b/forge-gui-mobile-dev/src/forge/app/Main.java
@@ -56,6 +56,11 @@ public class Main {
            return RSSReader.getCommitLog(buildDateOriginal, max);
        }

+        @Override
+        public String getReleaseTag() {
+            return RSSReader.getLatestReleaseTag();
+        }
+
        @Override
        public boolean openFile(String filename) {
            try {