public void valueChanged(TreeSelectionEvent e) {
		DefaultMutableTreeNode node = (DefaultMutableTreeNode) tree
				.getLastSelectedPathComponent();

		if (node == null)
			return;
		int nodeInfo = top.getIndex(node);
		String chemin = "function" + String.valueOf(nodeInfo + 1);
		getMainPanel().setDocumentRelative(chemin);
	}