1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
package ij.gui;
import java.awt.*;
import javax.swing.*;
/** This is an extended Button class used to reduce the width of the HUGE buttons on Mac OS X. */
public class TrimmedButton extends Button {
private int trim = 0;
public TrimmedButton(String title, int trim) {
super(title);
if (trim>0) {
LookAndFeel laf = UIManager.getLookAndFeel();
String name = laf!=null?laf.getName():"";
if (ij.IJ.isMacOSX() && name!=null && !name.equals("Mac OS X"))
trim = 0;
}
this.trim = trim;
}
public Dimension getMinimumSize() {
return new Dimension(super.getMinimumSize().width-trim, super.getMinimumSize().height);
}
public Dimension getPreferredSize() {
return getMinimumSize();
}
}
|
