From 2149db22044297f461d8e8b2cb6dc5876cd1ede4 Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Tue, 15 Jul 2014 11:42:35 +0530 Subject: [PATCH] better tab outline width --- pdex/src/processing/mode/experimental/TabOutline.java | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/pdex/src/processing/mode/experimental/TabOutline.java b/pdex/src/processing/mode/experimental/TabOutline.java index bb8f75302..68a6ba8c8 100644 --- a/pdex/src/processing/mode/experimental/TabOutline.java +++ b/pdex/src/processing/mode/experimental/TabOutline.java @@ -57,6 +57,7 @@ public class TabOutline { int minWidth = (int) (editor.getMinimumSize().width * 0.7f), maxWidth = (int) (editor .getMinimumSize().width * 0.9f); + minWidth = Math.min(minWidth, estimateFrameWidth()); frmOutlineView.setLayout(new BoxLayout(frmOutlineView.getContentPane(), BoxLayout.Y_AXIS)); JPanel panelTop = new JPanel(), panelBottom = new JPanel(); @@ -278,6 +279,15 @@ public class TabOutline { return found; } + private int estimateFrameWidth() { + int w = 100; + for (int i = 0; i < editor.getSketch().getCodeCount(); i++) { + w = Math.max(w, + editor.getSketch().getCode(i).getPrettyName().length() * 10); + } + return w; + } + private int estimateFrameHeight(){ // Assuming each tree node height to be 25 pixels return Math.min(20 * (editor.getSketch().getCodeCount() + 1),