TableBuilder
public class TableHeader extends Object
Table
.TableRenderer
Constructor and Description |
---|
TableHeader(String name)
Deprecated.
Constructor that initializes the table header with the provided header
name.
|
TableHeader(String name,
int width)
Deprecated.
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)
Deprecated.
|
int |
getMaxWidth()
Deprecated.
|
String |
getName()
Deprecated.
|
int |
getWidth()
Deprecated.
|
int |
hashCode()
Deprecated.
|
void |
setMaxWidth(int maxWidth)
Deprecated.
Defaults to -1 indicating to ignore the property.
|
void |
setName(String name)
Deprecated.
|
void |
setWidth(int width)
Deprecated.
|
void |
updateWidth(int width)
Deprecated.
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.