From d85e79918b9a9b77dbe28c910dcebf8517b859c9 Mon Sep 17 00:00:00 2001
From: "letitia.li@telecom-paristech.fr" <letitia.li@telecom-paristech.fr>
Date: Tue, 21 Feb 2017 12:19:08 +0100
Subject: [PATCH] Pragma graphics fix
---
src/ui/AvatarDesignPanelTranslator.java | 1 +
src/ui/avatarbd/AvatarBDPragma.java | 10 ++++++----
2 files changed, 7 insertions(+), 4 deletions(-)
diff --git a/src/ui/AvatarDesignPanelTranslator.java b/src/ui/AvatarDesignPanelTranslator.java
index 480e4df28c..912578aee6 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 cfdc20605f..c5e888e0bb 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++;
}
--
GitLab