www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit f64280d45dca4c95373c73412460e7db18522533
parent 56eeeaac1984ba28a92073562f58464d5e2e9d6d
Author: gduperon <gduperon@5d9ba3ac-444b-4713-9fb3-0b58e79229a2>
Date:   Mon, 26 Apr 2010 17:59:27 +0000

bidouilles

git-svn-id: https://projetud.info-ufr.univ-montp2.fr/svn/flin607-2009-gduperon@24 5d9ba3ac-444b-4713-9fb3-0b58e79229a2

Diffstat:
Mjside/ide.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jside/ide.js b/jside/ide.js @@ -174,7 +174,7 @@ function uiReduireBloc () { function uiUtiliser(uid) { var uidParent = $w.blocActif; - log("Utilisation de " + uid + " pour " + uidParent); + log("Utilisation de " + $w.blocs[uid].nom + " pour " + $w.blocs[uidParent].nom); $($('#modele-utilisation-bloc').jqote($w.blocs[uid])) /*.attr('id', "utilisation-" + uidParent + "-pour-" + uid)*/