@Override
	/*
	 * Shrinks or enlarges this panel
	 */
	public void actionPerformed(ActionEvent e) {
		//If this panel's width is below 15 or above 185, the animation is done, and the
		//width will be set to its max or min value
		if ((currentWidth < 15 && !show) || (currentWidth > 185 && show)) {
			currentWidth = show ? 200 : 0;
			setPreferredSize(new Dimension(currentWidth, currentHeight));
			revalidate();
			repaint();
			//Stop the animation
			t.stop();
		}
		//If the panel's width is in between 15 and 185, its width will be enlarged
		//or shrunk
		else {
			currentWidth += show ? 15 : -15;
			setPreferredSize(new Dimension(currentWidth, currentHeight));
			revalidate();
			repaint();
		}
	}