| 10,7 → 10,10 |
|---|
| import com.gwtext.client.data.NodeTraversalCallback; |
| import com.gwtext.client.data.Tree; |
| import com.gwtext.client.widgets.Component; |
| import com.gwtext.client.widgets.Container; |
| import com.gwtext.client.widgets.Panel; |
| import com.gwtext.client.widgets.event.ContainerListener; |
| import com.gwtext.client.widgets.event.ContainerListenerAdapter; |
| import com.gwtext.client.widgets.event.PanelListenerAdapter; |
| import com.gwtext.client.widgets.tree.TreeNode; |
| import com.gwtext.client.widgets.tree.TreePanel; |
| 131,12 → 134,6 |
|---|
| // on ajoute les listeners d'évenements |
| ajouterListeners(); |
| |
| // et on demande l'arbre des mots clés |
| getIMediateur() |
| .obtenirArbreMotsCles( |
| getIMediateur().getPanneauFiltres() |
| .getMotsClesFiltre()); |
| |
| // enfin on considère le composant comme instancié |
| estInstancie = true; |
| |
| 149,7 → 146,7 |
|---|
| * ajoute les listeners pour les boutons et le cochage des mots clés |
| */ |
| private void ajouterListeners() { |
| |
| |
| } |
| |
| /** |
| 162,17 → 159,13 |
|---|
| if (nouvelleDonnees instanceof Tree) { |
| Tree nouvelArbre = (Tree) nouvelleDonnees; |
| |
| // on vide tous les noeuds |
| arbreMotsCles.getRootNode().eachChild(new NodeTraversalCallback() { |
| // on vide tous les noeuds de l'ancien arbre |
| Node[] rootChild = arbreMotsCles.getRootNode().getChildNodes(); |
| for (int i = 0; i < rootChild.length; i++) { |
| |
| rootChild[i].remove(); |
| } |
| |
| public boolean execute(Node node) { |
| |
| node.remove(); |
| return true; |
| } |
| |
| }); |
| |
| // et on recopie le nouvel arbre |
| copierFilsNoeud(nouvelArbre.getRootNode(), arbreMotsCles |
| .getRootNode()); |
| 182,6 → 175,8 |
|---|
| // on signale que oui |
| estInstancie = true; |
| } |
| |
| arbreMotsCles.setRootNode(arbreMotsCles.getRootNode()); |
| |
| // l'état du filtre est réinitialisé |
| filtreModifie = false; |
| 202,8 → 197,10 |
|---|
| .remove(); |
| } |
| |
| // on cherche le père du nouveau noeud |
| // on chercher le père du nouveau noeud |
| Node ndPereOriginal = nd.getParentNode(); |
| |
| |
| String idPereFiltre = ndPereOriginal.getId() + "_filtre"; |
| |
| String[] usObj = (String[]) nd.getUserObject(); |
| 283,7 → 280,7 |
|---|
| private void copierFilsNoeud(Node ndPereOriginal, TreeNode ndPereCopie) { |
| if (ndPereCopie != null && ndPereOriginal != null) { |
| Node[] ndNodeFils = ndPereOriginal.getChildNodes(); |
| |
| |
| for (int i = 0; i < ndNodeFils.length; i++) { |
| |
| String[] usObj = (String[]) ndNodeFils[i].getUserObject(); |