diff --git a/TotalCrossSDK/src/main/java/totalcross/Launcher.java b/TotalCrossSDK/src/main/java/totalcross/Launcher.java index 9dda667c4..df9fe89be 100644 --- a/TotalCrossSDK/src/main/java/totalcross/Launcher.java +++ b/TotalCrossSDK/src/main/java/totalcross/Launcher.java @@ -2025,7 +2025,6 @@ public UserFont getFont(totalcross.ui.font.Font f, char c) { // verify if its in the cache. String fontName = f.name; int size = (int) (Math.max(f.size, totalcross.ui.font.Font.MIN_FONT_SIZE) * Settings.screenDensity); // guich@tc122_15: don't check for the maximum font size here - size += ((int) (size * 0.15)) * 3; char faceType = c < 0x3000 && f.style == 1 ? 'b' : 'p'; int uIndex = ((int) c >> 8) << 8;