418 |
super(outsideBorder, insideBorder); |
super(outsideBorder, insideBorder); |
419 |
} |
} |
420 |
} |
} |
421 |
|
|
422 |
|
|
423 |
|
/** |
424 |
|
* An {@link javax.swing.border.EmptyBorder} that also implements the |
425 |
|
* {@link UIResource} marker interface. This is useful for |
426 |
|
* implementing pluggable look-and-feels: When switching the current |
427 |
|
* LookAndFeel, only those borders are replaced that are marked as |
428 |
|
* {@link UIResource}. For this reason, a look-and-feel should |
429 |
|
* always install borders that implement <code>UIResource</code>, |
430 |
|
* such as the borders provided by this class. |
431 |
|
* |
432 |
|
* <p><img src="../border/EmptyBorder-1.png" width="290" height="200" |
433 |
|
* alt="[An illustration of EmptyBorder]" /> |
434 |
|
* |
435 |
|
* @author Brian Jones (cbj@gnu.org) |
436 |
|
* @author Sascha Brawer (brawer@dandelis.ch) |
437 |
|
*/ |
438 |
|
public static class EmptyBorderUIResource |
439 |
|
extends EmptyBorder |
440 |
|
implements UIResource, Serializable |
441 |
|
{ |
442 |
/** |
/** |
443 |
* @serial |
* Constructs an empty border given the number of pixels required |
444 |
|
* on each side. |
445 |
|
* |
446 |
|
* @param top the number of pixels that the border will need |
447 |
|
* for its top edge. |
448 |
|
* |
449 |
|
* @param left the number of pixels that the border will need |
450 |
|
* for its left edge. |
451 |
|
* |
452 |
|
* @param bottom the number of pixels that the border will need |
453 |
|
* for its bottom edge. |
454 |
|
* |
455 |
|
* @param right the number of pixels that the border will need |
456 |
|
* for its right edge. |
457 |
|
*/ |
458 |
|
public EmptyBorderUIResource(int top, int left, int bottom, int right) |
459 |
|
{ |
460 |
|
super(top, left, bottom, right); |
461 |
|
} |
462 |
|
|
463 |
|
|
464 |
|
/** |
465 |
|
* Constructs an empty border given the number of pixels required |
466 |
|
* on each side, passed in an Insets object. |
467 |
|
* |
468 |
|
* @param insets the Insets for the new border. |
469 |
*/ |
*/ |
470 |
public static class EmptyBorderUIResource |
public EmptyBorderUIResource(Insets insets) |
|
extends EmptyBorder |
|
|
implements UIResource, Serializable |
|
471 |
{ |
{ |
472 |
public EmptyBorderUIResource(int top, int left, int bottom, int right) |
super(insets); |
|
{ |
|
|
this(new Insets(top,left,bottom,right)); |
|
|
} |
|
|
|
|
|
public EmptyBorderUIResource(Insets insets) |
|
|
{ |
|
|
super (insets); |
|
|
} |
|
473 |
} |
} |
474 |
|
} |
475 |
|
|
476 |
/** |
/** |
477 |
* @serial |
* @serial |