From 3434bc6ca61b189ddc6b663c49e28c2ee4ff0626 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 7 Apr 2018 10:41:11 -0400 Subject: [PATCH] notes about #5246 --- app/src/processing/app/ui/ZoomTreeCellRenderer.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/ui/ZoomTreeCellRenderer.java b/app/src/processing/app/ui/ZoomTreeCellRenderer.java index 6f082e2be..170cbaee1 100644 --- a/app/src/processing/app/ui/ZoomTreeCellRenderer.java +++ b/app/src/processing/app/ui/ZoomTreeCellRenderer.java @@ -33,7 +33,6 @@ import processing.app.Mode; public class ZoomTreeCellRenderer extends DefaultTreeCellRenderer { public ZoomTreeCellRenderer(Mode mode) { - //setFont(Toolkit.getSansFont(Toolkit.zoom(14), Font.PLAIN)); setFont(mode.getFont("tree.font")); } @@ -50,10 +49,12 @@ public class ZoomTreeCellRenderer extends DefaultTreeCellRenderer { // https://github.com/processing/processing/issues/4936 int high = getPreferredSize().height; if (high != 0) { - // add 15% for a little more spacing.. Source Sans leading is short + // Source Sans leading too short, so also add 15% for nicer spacing high = (int) (high * 1.15f); int current = getSize().height; if (current != high) { + // This seems to be causing an infinite loop on Windows + // https://github.com/processing/processing/issues/5246 tree.setRowHeight(high); } }