#
__version__="$Name: $"
-__Id__="$Id: treewidget.py,v 1.9 2002/11/06 17:25:57 eficas Exp $"
+__Id__="$Id: treewidget.py,v 1.11 2003/03/07 16:17:12 eficas Exp $"
#
Fonte_Standard = fontes.standard
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
+ # On ajoute une marge approximativement de la moitié du canvas
+ y1=y1+self.canvas.winfo_height()/2
self.canvas.configure(scrollregion = (x0,y0,x1,y1))
- #self.scrolledcanvas.resizescrollregion()
def select_next(self,event):
self.node_selected.select_next()
# 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):
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
+ """
+ if self.image_id != None :
+ image = self.geticonimage()
+ self.canvas.itemconfig(self.image_id,image=image)
+ self.parent.update_valid()
+
def update(self,event=None) :
""" Classe Node :
Cette méthode est appelée pour demander l update d un noeud