419 |
} |
} |
420 |
} |
} |
421 |
|
|
422 |
|
/** |
423 |
|
* The minimum width for JOptionPanes. |
424 |
|
*/ |
425 |
|
public static final int MinimumWidth = 262; |
426 |
|
|
427 |
|
/** |
428 |
|
* The minimum height for JOptionPanes. |
429 |
|
*/ |
430 |
|
public static final int MinimumHeight = 90; |
431 |
|
|
432 |
/** Whether the JOptionPane contains custom components. */ |
/** Whether the JOptionPane contains custom components. */ |
433 |
protected boolean hasCustomComponents = false; |
protected boolean hasCustomComponents = false; |
434 |
|
|
447 |
/** The component that receives input when the JOptionPane needs it. */ |
/** The component that receives input when the JOptionPane needs it. */ |
448 |
protected JComponent inputComponent; |
protected JComponent inputComponent; |
449 |
|
|
|
/** The minimum height of the JOptionPane. */ |
|
|
public static int minimumHeight; |
|
|
|
|
|
/** The minimum width of the JOptionPane. */ |
|
|
public static int minimumWidth; |
|
|
|
|
450 |
/** The minimum dimensions of the JOptionPane. */ |
/** The minimum dimensions of the JOptionPane. */ |
451 |
protected Dimension minimumSize; |
protected Dimension minimumSize; |
452 |
|
|
1169 |
buttonBorder = defaults.getBorder("OptionPane.buttonAreaBorder"); |
buttonBorder = defaults.getBorder("OptionPane.buttonAreaBorder"); |
1170 |
|
|
1171 |
minimumSize = defaults.getDimension("OptionPane.minimumSize"); |
minimumSize = defaults.getDimension("OptionPane.minimumSize"); |
|
minimumWidth = minimumSize.width; |
|
|
minimumHeight = minimumSize.height; |
|
1172 |
|
|
1173 |
// FIXME: Image icons don't seem to work properly right now. |
// FIXME: Image icons don't seem to work properly right now. |
1174 |
// Once they do, replace the synthetic icons with these ones. |
// Once they do, replace the synthetic icons with these ones. |