Added: #2333 Changing Shape tag type (DefineShape, DefineShape2, ...)

This commit is contained in:
Jindra Petřík
2024-09-29 23:30:47 +02:00
parent 77d72c5224
commit d2f7f01d32
21 changed files with 749 additions and 16 deletions

View File

@@ -2920,6 +2920,9 @@ public class Main {
decodeLaunch5jArgs(args);
setSessionLoaded(false);
System.setProperty("sun.io.serialization.extendedDebugInfo", "true");
clearTemp();
try {