From d80afc4ffa635739b96f52ba5e1c8cec7a50e37f Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Tue, 15 Jul 2014 23:27:38 +0530 Subject: [PATCH] tab outline height estimation --- pdex/src/processing/mode/experimental/TabOutline.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pdex/src/processing/mode/experimental/TabOutline.java b/pdex/src/processing/mode/experimental/TabOutline.java index f00deddcb..c03003c3a 100644 --- a/pdex/src/processing/mode/experimental/TabOutline.java +++ b/pdex/src/processing/mode/experimental/TabOutline.java @@ -312,10 +312,10 @@ public class TabOutline { return w; } - private int estimateFrameHeight(){ - // Assuming each tree node height to be 20 pixels - int t = Math.max(4, editor.getSketch().getCodeCount() + 1); - return Math.min(20 * t, frmOutlineView.getHeight()); + private int estimateFrameHeight() { + int textHeight = jsp.getGraphics().getFontMetrics().getHeight() + 2; + int t = Math.max(4, editor.getSketch().getCodeCount() + 3); + return Math.min(textHeight * t, frmOutlineView.getHeight()); } public void show() {