public void setCompressed(boolean compressed) {
		if (compressed != compressed_) {
			this.compressed_ = compressed;
			if (!compressed) {
				this.setSize(getNormalSize());
				this.setPreferredSize(getNormalSize());
				this.setMaximumSize(getNormalSize());
				for (Component c : getComponents())
					c.setVisible(true);
			} else {
				for (Component c : getComponents())
					c.setVisible(false);
				this.setSize(getWidth(), 25);
				this.setPreferredSize(new Dimension(getWidth(), 25));
				this.setMaximumSize(new Dimension(getWidth(), 25));
			}
			if (getParent() != null)
				getParent().revalidate();
		}
	}