diff --git a/src/main/java/ui/GTURTLEModeling.java b/src/main/java/ui/GTURTLEModeling.java
index 3499e7cc63197ed57940073e05946403f29ba53c..4e2d207afb16e0c61ff2f933ecd084bdb0a642eb 100755
--- a/src/main/java/ui/GTURTLEModeling.java
+++ b/src/main/java/ui/GTURTLEModeling.java
@@ -7840,6 +7840,8 @@ public class GTURTLEModeling {
             tgc.makePostLoading(decId);
         }
 
+	tdp.repaint();
+
         //TraceManager.addDev("Post loading of diagram " + tdp.toString() + " achieved");
     }