|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--game.libraries.gui.CustomBorder
Class to provide fancy borders, particularly a titled border.
| Constructor Summary | |
CustomBorder()
|
|
| Method Summary | |
static javax.swing.border.Border |
createBorder(java.lang.String title,
int space)
A static method to produce a titled border with an inner margin, or an inner margin only, if title is null. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public CustomBorder()
| Method Detail |
public static javax.swing.border.Border createBorder(java.lang.String title,
int space)
title - the title to put on the etched border, no etched border
if title is null.space - space to provide inside the border (half this amount at the
top).
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||