diff options
| author | wisberg <wisberg> | 2003-05-05 07:34:04 +0000 |
|---|---|---|
| committer | wisberg <wisberg> | 2003-05-05 07:34:04 +0000 |
| commit | daeab2fdfa7d44f73e841d149c60b9936458abae (patch) | |
| tree | 28fcfea764703220dcfbaa98b41988e1af08f472 | |
| parent | 3b2b6116ac9843de3c2ad194f9aaf7b148e9b7fc (diff) | |
| download | aspectj-daeab2fdfa7d44f73e841d149c60b9936458abae.tar.gz aspectj-daeab2fdfa7d44f73e841d149c60b9936458abae.zip | |
out of the run loop - now direct from TopFrame to Ajde
| -rw-r--r-- | ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java b/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java index d03e38304..df68d8019 100644 --- a/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java +++ b/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java @@ -135,10 +135,6 @@ public class BrowserManager { topFrame.setTitle(BrowserManager.TITLE + " - " + text); } - public void run() { - Ajde.runInSameVM(Ajde.getDefault().getProjectProperties()); - } - public void saveAll() { Ajde.getDefault().getEditorManager().saveContents(); } |