| 196,7 → 196,6 |
|---|
| // gestion du double clic sur un noeud |
| public void onDblClick(TreeNode node, EventObject e) { |
| |
| modifNoeud = true; |
| if (!node.getId().equals("racine")) { |
| te.startEdit(node); |
| } |
| 214,23 → 213,21 |
|---|
| |
| // si c'est un nouveau noeud |
| if (ajoutNoeud) { |
| // et considère l'ajout achevé |
| ajoutNoeud = false; |
| // on notifie le médiateur de l'ajout et on lui passe |
| // l'arbre |
| getIMediateur().ajouterMotCleDansArbre(nd, |
| getArbreMotsCles().getTree()); |
| // et considère l'ajout achevé |
| ajoutNoeud = false; |
| } |
| // si c'est noeud déjà existant |
| else { |
| if (modifNoeud) { |
| // on notifie le médiateur de la modification et on lui |
| // passe l'arbre |
| getIMediateur().modifierMotCleDansArbre(nd, |
| getArbreMotsCles().getTree()); |
| // et on considère la modification achevée |
| modifNoeud = false; |
| } |
| // et on considère la modification achevée |
| modifNoeud = false; |
| // on notifie le médiateur de la modification et on lui |
| // passe l'arbre |
| getIMediateur().modifierMotCleDansArbre(nd, |
| getArbreMotsCles().getTree()); |
| } |
| |
| } |