last tweaks for 38 (hopefully)

2026-06-16 04:26:26 +02:00 · 2002-07-31 21:42:06 +00:00
parent 0e6e891e6f
commit 8f5b9a50ae
12 changed files with 94 additions and 25 deletions
@@ -339,6 +339,8 @@ public class PdeEditor extends Panel {


  public void doRun(boolean presentation) {
+    //System.out.println(System.getProperty("java.class.path"));
+
    //doStop();
    doClose();
    running = true;