/** @param width the width to set */
public void setWidth(int width) {
this.width = width;
tableViewer.setWidth(width);
mailPreview.setWidth(Integer.toString(width) + "px");
}
/** @param height the height to set */
public void setHeight(int height) {
this.height = height;
tableViewer.setHeight(getListHeight());
mailPreview.setHeight(Integer.toString(getPreviewHeight()) + "px");
}
