From 3ce640fc1bc73e1359e0b7f6cd20e6671e9b5bcc Mon Sep 17 00:00:00 2001 From: eficas <> Date: Fri, 7 Mar 2003 16:17:12 +0000 Subject: [PATCH] =?utf8?q?CCAR:=20Coorection=20de=20la=20mise=20=C3=A0=20j?= =?utf8?q?our=20de=20validit=C3=A9=20des=20nodes=20lors=20d'une=20suppress?= =?utf8?q?ion=20de=20mot=20cl=C3=A9=20simple=20dans=20un=20mot=20cl=C3=A9?= =?utf8?q?=20facteur=20Fichiers=20modifi=C3=A9s=20:=20panels.py=20treewidg?= =?utf8?q?et.py=20Tags=20:=20cc=5Favant=5Fupdate=5Fvalid=20cc=5Fapres=5Fup?= =?utf8?q?date=5Fvalid?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- Editeur/panels.py | 2 +- Editeur/treewidget.py | 16 +++++++++++++++- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/Editeur/panels.py b/Editeur/panels.py index 00bcd9a4..61b142c9 100644 --- a/Editeur/panels.py +++ b/Editeur/panels.py @@ -195,8 +195,8 @@ class Panel(Frame) : """ Suppression du noeud courant """ + # On signale au parent du panel (le JDCDisplay) une modification if self.parent.modified == 'n' : self.parent.init_modif() - pere = self.node.parent self.node.delete() def affiche(self): diff --git a/Editeur/treewidget.py b/Editeur/treewidget.py index 55b71d96..7e327387 100644 --- a/Editeur/treewidget.py +++ b/Editeur/treewidget.py @@ -26,7 +26,7 @@ import images # __version__="$Name: $" -__Id__="$Id: treewidget.py,v 1.9 2002/11/06 17:25:57 eficas Exp $" +__Id__="$Id: treewidget.py,v 1.10 2002/11/12 12:25:02 eficas Exp $" # Fonte_Standard = fontes.standard @@ -89,6 +89,12 @@ class Tree : for child in self.children: child.update() + def update_valid(self) : + """Cette methode a pour but de mettre a jour la validite du noeud + et de propager la demande de mise à jour à son parent + """ + pass + def resizescrollregion(self): x0,y0,x1,y1=self.canvas.bbox(ALL) y1=y1+(self.canvas.winfo_height()/20-1)*20 @@ -432,6 +438,7 @@ class Node : # il suffit d'updater les coordonnees et de retracer les lignes self.racine.update_coords() self.racine.trace_ligne() + self.update_valid() self.tree.resizescrollregion() def update_coords(self): @@ -469,6 +476,13 @@ class Node : for child in self.children: if child.displayed != 0 : child.update_texte() + def update_valid(self) : + """Cette methode a pour but de mettre a jour la validite du noeud + et de propager la demande de mise à jour à son parent + """ + self.update_icone() + self.parent.update_valid() + def update(self,event=None) : """ Classe Node : Cette méthode est appelée pour demander l update d un noeud -- 2.39.2