/**
* Set parameters for printing the displayed tree
*
- * @param x
- * @param y
*/
final void calcParametersForPainting( final int x, final int y, final boolean recalc_longest_ext_node_info ) {
// updateStyle(); not needed?
if ( getOptions().isAllowFontSizeChange() ) {
if ( ( getLongestExtNodeInfo() > ( x * 0.6 ) )
&& ( getTreeFontSet().getLargeFont().getSize() > 2 + TreeFontSet.FONT_SIZE_CHANGE_STEP ) ) {
- while ( ( getLongestExtNodeInfo() > ( x * 0.6 ) )
+ while ( ( getLongestExtNodeInfo() > ( x * 0.7 ) )
&& ( getTreeFontSet().getLargeFont().getSize() > 2 ) ) {
getMainPanel().getTreeFontSet().decreaseFontSize( getConfiguration().getMinBaseFontSize(),
true );
}
}
else {
- while ( ( getLongestExtNodeInfo() < ( x * 0.5 ) )
+ while ( ( getLongestExtNodeInfo() < ( x * 0.6 ) )
&& ( getTreeFontSet().getLargeFont().getSize() <= getTreeFontSet().getLargeFontMemory()
.getSize() - TreeFontSet.FONT_SIZE_CHANGE_STEP ) ) {
getMainPanel().getTreeFontSet().increaseFontSize();