try kerning to see if it helps

This commit is contained in:
Ben Fry
2021-08-03 21:44:35 -04:00
parent 83cb08970a
commit f49138a7d5
@@ -25,8 +25,11 @@ package processing.app.platform;
import java.awt.Desktop;
import java.awt.Font;
import java.awt.font.TextAttribute;
import java.io.File;
import java.net.URI;
import java.util.HashMap;
import java.util.Map;
import javax.swing.UIManager;
import javax.swing.plaf.FontUIResource;
@@ -117,6 +120,10 @@ public class DefaultPlatform {
int fontSize = Preferences.getInteger("ui.font.size");
if (!"Dialog".equals(fontName) || fontSize != 12) {
setUIFont(new FontUIResource(fontName, Font.PLAIN, fontSize));
// Map<TextAttribute, Object> attributes = new HashMap<>();
// attributes.put(TextAttribute.KERNING, TextAttribute.KERNING_ON);
// Font font = new Font(fontName, Font.PLAIN, fontSize).deriveFont(attributes);
// setUIFont(new FontUIResource(font));
}
}