public class TableHeader extends Object
Table
.TableRenderer
Constructor and Description |
---|
TableHeader(String name)
Constructor that initializes the table header with the provided header
name.
|
TableHeader(String name,
int width)
Constructor that initializes the table header with the provided header
name and the with of the table header.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
getMaxWidth() |
String |
getName() |
int |
getWidth() |
int |
hashCode() |
void |
setMaxWidth(int maxWidth)
Defaults to -1 indicating to ignore the property.
|
void |
setName(String name) |
void |
setWidth(int width) |
void |
updateWidth(int width)
Updated the width for this particular column, but only if the value of
the passed-in width is higher than the value of the pre-existing width.
|
public TableHeader(String name, int width)
name
- width
- public TableHeader(String name)
name
- public int getWidth()
public void setWidth(int width)
public void updateWidth(int width)
width
- public String getName()
public void setName(String name)
public int getMaxWidth()
public void setMaxWidth(int maxWidth)
maxWidth
- If negative or zero this property will be ignored.