56 |
import java.beans.PropertyChangeListener; |
import java.beans.PropertyChangeListener; |
57 |
import java.beans.PropertyVetoException; |
import java.beans.PropertyVetoException; |
58 |
|
|
59 |
|
import javax.swing.BorderFactory; |
60 |
import javax.swing.Box; |
import javax.swing.Box; |
61 |
import javax.swing.BoxLayout; |
import javax.swing.BoxLayout; |
62 |
import javax.swing.Icon; |
import javax.swing.Icon; |
907 |
*/ |
*/ |
908 |
protected Container createSeparator() |
protected Container createSeparator() |
909 |
{ |
{ |
910 |
return null; |
return (Container) Box.createVerticalStrut(17); |
911 |
} |
} |
912 |
|
|
913 |
/** |
/** |
1124 |
optionPane.add(button); |
optionPane.add(button); |
1125 |
} |
} |
1126 |
|
|
1127 |
|
optionPane.setBorder(BorderFactory.createEmptyBorder(12, 12, 11, 11)); |
1128 |
optionPane.invalidate(); |
optionPane.invalidate(); |
1129 |
} |
} |
1130 |
|
|