random fixes and making windows build script

This commit is contained in:
benfry
2002-07-28 00:38:07 +00:00
parent ff327cd64c
commit 77b3dc2c25
7 changed files with 88 additions and 46 deletions

View File

@@ -292,7 +292,9 @@ public class PdeEditor extends Panel {
//System.out.println("pwindow activated");
// editor doesn't necessarily have to be on top
//presentationWindow.toBack();
if (frame != null) frame.toFront();
// don't move the editor window to the front after all
//if (frame != null) frame.toFront();
try {
//((KjcEngine)(runner.engine)).window.toFront();
engine.front();