diff --git a/src/ui/tmldd/TMLArchiArtifact.java b/src/ui/tmldd/TMLArchiArtifact.java index bb40d8b9bb37391156cc1d85d775b46da6317ea2..e10d2f2c11922ff0f059d10c665dee30ef99a24b 100755 --- a/src/ui/tmldd/TMLArchiArtifact.java +++ b/src/ui/tmldd/TMLArchiArtifact.java @@ -101,7 +101,7 @@ public class TMLArchiArtifact extends TGCWithoutInternalComponent implements Swa } public boolean isHidden() { - TraceManager.addDev("Am I hidden?" + getValue()); + //TraceManager.addDev("Am I hidden?" + getValue()); if (tdp != null) { if (tdp instanceof TMLArchiDiagramPanel) { return !(((TMLArchiDiagramPanel)(tdp)).inCurrentView(this));