Pour eviter les collisions de nom

darcs-hash:20041002144346-d1718-22cc5fb35960347e720c50621b7db151afed9fe3.gz

gestion/affich_tools.py

@@ -85,7 +85,7 @@ def tableau(largeurs,data) :
 
     # Si l'une des largeurs est '*', alors on la met la plus grande possible
     if '*' in largeurs:
-        rows, cols = get_size()
+        rows, cols = get_screen_size()
         nlargeurs = []
         for n in largeurs:
             if n != '*':
@@ -120,7 +120,7 @@ def tableau(largeurs,data) :
     f = f.replace(u'\n',s,1) # Insertion du séparateur entète - corps
     return f[:-1] # Supression du \n final
 
-def get_size():
+def get_screen_size():
     """Retourne la taille de l'écran.
 
     Sous la forme d'un tuble (colonnes, lignes)"""