TabbedPane: increased size of scroll arrow buttons (issue #40)

This commit is contained in:
Karl Tauber
2020-10-07 19:09:19 +02:00
parent a7c906091c
commit 15ac77107f

View File

@@ -573,7 +573,7 @@ public class FlatTabbedPaneUI
//---- class FlatScrollableTabButton --------------------------------------
protected static class FlatScrollableTabButton
protected class FlatScrollableTabButton
extends FlatArrowButton
implements MouseListener
{
@@ -589,6 +589,15 @@ public class FlatTabbedPaneUI
addMouseListener( this );
}
@Override
public Dimension getPreferredSize() {
Dimension size = super.getPreferredSize();
if( direction == WEST || direction == EAST )
return new Dimension( size.width, Math.max( size.height, maxTabHeight ) );
else
return new Dimension( Math.max( size.width, maxTabWidth ), size.height );
}
@Override
public void mousePressed( MouseEvent e ) {
if( SwingUtilities.isLeftMouseButton( e ) && isEnabled() ) {