diff --git a/src/ui/AvatarDesignPanelTranslator.java b/src/ui/AvatarDesignPanelTranslator.java index 480e4df28ca68b882172ddf5a28c307b55c01ae8..912578aee6d256de00f171e277752c6ffb4351e7 100644 --- a/src/ui/AvatarDesignPanelTranslator.java +++ b/src/ui/AvatarDesignPanelTranslator.java @@ -124,6 +124,7 @@ public class AvatarDesignPanelTranslator { as.removeElseGuards(); TraceManager.addDev("Removing else guards ... done"); //System.out.println(as.toString()); + adp.abdp.repaint(); return as; } diff --git a/src/ui/avatarbd/AvatarBDPragma.java b/src/ui/avatarbd/AvatarBDPragma.java index cfdc20605f05e7bdd3da5e4d8331de78246a5e67..c5e888e0bbfac07e5178ef014a4f6d93b2f08ed4 100755 --- a/src/ui/avatarbd/AvatarBDPragma.java +++ b/src/ui/avatarbd/AvatarBDPragma.java @@ -197,9 +197,7 @@ public class AvatarBDPragma extends TGCScalableWithoutInternalComponent { g.drawLine(x+width, y, x+width, y+height - limit); g.setColor(ColorManager.PRAGMA_BG); - if (syntaxErrors.size()>0 && System.currentTimeMillis()/1000 % 2==0){ - g.setColor(Color.red); - } + int [] px1 = {x+1, x+width, x + width, x + width-limit, x+1}; int [] py1 = {y+1, y+1, y+height-limit, y+height, y+height}; g.fillPolygon(px1, py1, 5); @@ -224,7 +222,11 @@ public class AvatarBDPragma extends TGCScalableWithoutInternalComponent { for (String s: models){ g.drawString(s, x + textX, y + textY + (i+1)* currentFontSize); if (syntaxErrors.contains(s)){ - g.drawLine(x,y, x+width, y+textY); + Color ctmp= g.getColor(); + g.setColor(Color.red); + g.drawLine(x+textX/2,y+textY*3/2 + i*currentFontSize, x+width-textX/2, y+textY*3/2 +(i+1)*currentFontSize); + g.drawLine(x+width-textX/2,y+textY*3/2 + i*currentFontSize, x+textX/2, y+textY*3/2 +(i+1)*currentFontSize); + g.setColor(ctmp); } i++; }