From ea18af4e1da819a7d11d40554e51b1ab081eafd5 Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 9 Apr 2019 15:16:56 +0200
Subject: [PATCH] Issue #31: Use graphics's font size instead of font size
variable
---
src/main/java/ui/tmlcompd/TMLCPrimitivePort.java | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/src/main/java/ui/tmlcompd/TMLCPrimitivePort.java b/src/main/java/ui/tmlcompd/TMLCPrimitivePort.java
index 63f8c97269..fbc8578238 100755
--- a/src/main/java/ui/tmlcompd/TMLCPrimitivePort.java
+++ b/src/main/java/ui/tmlcompd/TMLCPrimitivePort.java
@@ -36,9 +36,6 @@
* knowledge of the CeCILL license and that you accept its terms.
*/
-
-
-
package ui.tmlcompd;
import myutil.GraphicLib;
@@ -73,8 +70,6 @@ import ui.interactivesimulation.JFrameSimulationSDPanel;
import javax.swing.*;
import java.awt.*;
-import java.util.ArrayList;
-import java.util.List;
import java.util.Vector;
/**
@@ -209,6 +204,7 @@ public abstract class TMLCPrimitivePort extends TGCScalableWithInternalComponent
return myColor;
}
+ @Override
public void internalDrawing(Graphics g) {
if ((x != oldx) | (oldy != y)) {
// Component has moved!
@@ -350,7 +346,7 @@ public abstract class TMLCPrimitivePort extends TGCScalableWithInternalComponent
TGComponent tgc = getFather();
int ft = 10;
if ((tgc != null) && (tgc instanceof TMLCPrimitiveComponent)) {
- ft = ((TMLCPrimitiveComponent)tgc).getCurrentFontSize();
+ ft = g.getFont().getSize();// Issue #31 ((TMLCPrimitiveComponent)tgc).getCurrentFontSize();
//
}
//
--
GitLab