| 321,6 → 321,12 |
|---|
| return; |
| } |
| |
| if(!MotsClesUtilitaire.estUnePositionAutorisee(node, node.getParentNode(), text)) { |
| te.startEdit(node); |
| Window.alert("Un mot clé de même nom existe déjà à cette position"); |
| return; |
| } |
| |
| if(node.equals(arbreMotsCles.getRootNode())) { |
| return; |
| } |
| 355,6 → 361,24 |
|---|
| } |
| } |
| |
| @Override |
| public boolean doBeforeMoveNode(Tree tree, TreeNode node, |
| TreeNode oldParent, TreeNode newParent, int index) { |
| boolean ok = true; |
| if(!MotsClesUtilitaire.estUnePositionAutorisee(node, newParent, node.getText())) { |
| ok = false; |
| Window.alert("Un mot clé de même nom existe déjà à cette position"); |
| } |
| return ok; |
| } |
| |
| @Override |
| public boolean onNodeDragOver(TreePanel treePanel, TreeNode target, |
| DragData dragData, String point, DragDrop source, |
| TreeNode dropNode) { |
| return MotsClesUtilitaire.estUnePositionAutorisee(dropNode, target, dropNode.getText()); |
| } |
| |
| // gestion du déplacement d'un noeud |
| @Override |
| public void onMoveNode(Tree tree, TreeNode node, |