diff options
| -rw-r--r-- | ajde/src/org/aspectj/ajde/Ajde.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ajde/src/org/aspectj/ajde/Ajde.java b/ajde/src/org/aspectj/ajde/Ajde.java index 093cee81c..b1c50a47c 100644 --- a/ajde/src/org/aspectj/ajde/Ajde.java +++ b/ajde/src/org/aspectj/ajde/Ajde.java @@ -170,6 +170,10 @@ public class Ajde { this.logPrintStream = null; } + public boolean isLogging() { + return (this.logPrintStream!=null); + } + /** * The structure manager is not a part of the public API and its * use should be avoided. Used <CODE>getStructureViewManager()</CODE> |