From 558b6f68ab0a4dab55a9c8e70b1a4b78f8c6135c Mon Sep 17 00:00:00 2001 From: Jerome St-Louis Date: Thu, 4 Aug 2016 09:38:17 -0400 Subject: [PATCH] ide/dialogs/FontPicker: Tweak for better font row height --- ide/src/dialogs/FontPicker.ec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ide/src/dialogs/FontPicker.ec b/ide/src/dialogs/FontPicker.ec index b3d160b..b7595f4 100644 --- a/ide/src/dialogs/FontPicker.ec +++ b/ide/src/dialogs/FontPicker.ec @@ -158,7 +158,7 @@ class FontPicker : Window { int maxH = 12 + 5; float size = dbSize.GetData(dfSize); - int maxSize = (int)(size * 96 / 72 * 1.5); + int maxSize = (int)(size * 96 / 72 * 2); for(f : fontResources) { Font font = f.font; @@ -167,7 +167,7 @@ class FontPicker : Window displaySystem.FontExtent(font, "W", 1, null, &h); h += 5; - h = font.ascent + font.descent + 5; + //h = font.ascent + font.descent + 5; if(h > maxSize) h = maxSize; maxH = Max(maxH, h); } -- 1.8.3.1