editor.getSketch().getCode(i).getPrettyName().length() * 10);
}
return w;
}
private int estimateFrameHeight(){
<BUG>return Math.min(20 * (editor.getSketch().getCodeCount() + 1),

frmOutlineView.getHeight());
}</BUG>
public void show() {

editor.getSketch().getCode(i).getPrettyName().length() * 10);
}
return w;
}
private int estimateFrameHeight(){
int t = Math.max(4, editor.getSketch().getCodeCount() + 1);
return Math.min(20 * t, frmOutlineView.getHeight());
}
public void show() {
