/**
* Draws the background. If a background pattern is set it is used to fill the background.
* Otherwise the background is filled in the background color.
*/
public void drawBackground(Graphics g) {
g.setColor(getBackground());
g.fillRect(0, 0, getBounds().width, getBounds().height);
}
