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()); |
} |
|
} |