2003-06-05 Michael Koch <konqueror@gmx.de>
+ * javax/swing/plaf/BorderUIResource.java,
+ javax/swing/plaf/basic/BasicDefaults.java,
+ javax/swing/plaf/basic/BasicOptionPaneUI.java:
+ More compile fixes for latest Border commit. I should not commit
+ something in this heat here ...
+
+2003-06-05 Michael Koch <konqueror@gmx.de>
+
* javax/swing/border/BevelBorder.java
(BevelBorder): Removed.
* javax/swing/border/EmptyBorder.java:
*/
public BorderUIResource(Border delegate)
{
+ super ();
this.delegate = delegate;
}
{
public BevelBorderUIResource(int bevelType)
{
-
+ super (bevelType);
}
public BevelBorderUIResource(int bevelType,
Color highlight,
Color shadow)
{
- this(bevelType);
+ super (bevelType);
}
public BevelBorderUIResource(int bevelType,
Color highlightOuter,
Color shadowOuter,
Color shadowInner)
{
- this(bevelType);
+ super (bevelType);
}
}
public CompoundBorderUIResource(Border outsideBorder,
Border insideBorder)
{
-
+ super (outsideBorder, insideBorder);
}
}
public EmptyBorderUIResource(Insets insets)
{
-
+ super (insets);
}
}
public EtchedBorderUIResource() { }
public EtchedBorderUIResource(int etchType)
{
-
+ super (etchType);
}
public EtchedBorderUIResource(Color highlight, Color shadow)
{
-
+ super (highlight, shadow);
}
public EtchedBorderUIResource(int etchType, Color highlight,
Color shadow)
{
-
+ super (etchType);
}
}
{
public LineBorderUIResource(Color color)
{
-
+ super (color);
}
public LineBorderUIResource(Color color,
int thickness)
{
-
+ super (color);
}
}
public MatteBorderUIResource(int top, int left, int bottom,
int right, Color color)
{
-
+ super (top, left, bottom, right, color);
}
public MatteBorderUIResource(int top, int left, int bottom,
int right, Icon tileIcon)
{
-
+ super (top, left, bottom, right, tileIcon);
}
public MatteBorderUIResource(Icon tileIcon)
{
-
+ super (tileIcon);
}
}
{
TitledBorderUIResource(String title)
{
-
+ super (title);
}
TitledBorderUIResource(Border border)
{
-
+ super (border);
}
TitledBorderUIResource(Border border, String title)
{
-
+ super (border);
}
TitledBorderUIResource(Border border, String title,
int titleJustification, int titlePosition)
{
-
+ super (border);
}
TitledBorderUIResource(Border border, String title,
int titleJustification, int titlePosition,
Font titleFont)
{
-
+ super (border);
}
TitledBorderUIResource(Border border, String title,
int titleJustification, int titlePosition,
Font titleFont, Color titleColor)
{
-
+ super (border);
}
}
}
System.out.println(" -------------: " + pane);
- JLabel message = pane.msg != null ? new JLabel((String)pane.msg) : null;
+ JLabel message = pane.getMessage() != null ? new JLabel((String)pane.getMessage()) : null;
JButton ok_button = new JButton("Ok");
ok_button.addActionListener(new ActionListener()
}
});
- if (pane.args != null)
+ if (pane.getOptions() != null)
{
- for (int i=0; i<pane.args.length; i++)
+ for (int i=0; i<pane.getOptions().length; i++)
{
- Object o = pane.args[i];
+ Object o = pane.getOptions()[i];
if (o != null)
{
if (o instanceof String)