From 92109121e46ec517733deaf28c6a0f4daa7cdb90 Mon Sep 17 00:00:00 2001 From: bernat Date: Sat, 2 Oct 2004 16:43:46 +0200 Subject: [PATCH] Pour eviter les collisions de nom darcs-hash:20041002144346-d1718-22cc5fb35960347e720c50621b7db151afed9fe3.gz --- gestion/affich_tools.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gestion/affich_tools.py b/gestion/affich_tools.py index 891a7515..fb0a8a9b 100755 --- a/gestion/affich_tools.py +++ b/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)"""