private void showFilter() {
		if (isAncestorOf(searchPanel)) {
			remove(searchPanel);
		} else {
			add(searchPanel,java.awt.BorderLayout.NORTH);
			searchPanel.set(mp3list.getIndex(),mp3list.NoE(),mp3list.length());
			searchPanel.Focus();
		}
		revalidate();
		repaint();
	}