flash player zoom fix, html5 export fixed when framerate=0

2026-09-27 14:31:16 +00:00 · 2014-12-04 19:27:58 +01:00
parent 9ca752dfca
commit 5d9be4a0da
5 changed files with 25 additions and 10 deletions
@@ -781,7 +781,7 @@ public class ActionListReader {
        }

        Action a;
-        Scanner sc = new Scanner(System.in);
+        Scanner sc = null;
        loopip:
        while (((endip == -1) || (endip > ip)) && (a = actions.get(ip)) != null) {
            if (Thread.currentThread().isInterrupted()) {
@@ -854,6 +854,9 @@ public class ActionListReader {
                        if (decideBranch) {
                            System.out.print("newip " + nip + ", ");
                            System.out.print("Action: jump(j),ignore(i),compute(c)?");
+                            if (sc == null) {
+                                sc = new Scanner(System.in);
+                            }
                            String next = sc.next();
                            switch (next) {
                                case "j":