From 6d140ff76db25207b7c3f98ee5f1c3bf09f314dd Mon Sep 17 00:00:00 2001
From: Dany De Bontridder <dany@alchimerys.be>
Date: Thu, 3 Jun 2010 14:42:44 +0000
Subject: [PATCH] scripts.js : removeDiv

---
 html/js/scripts.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/html/js/scripts.js b/html/js/scripts.js
index fbe50055f..5632869ec 100644
--- a/html/js/scripts.js
+++ b/html/js/scripts.js
@@ -402,3 +402,10 @@ function add_div(obj) {
 	bottom_div.appendChild(elt);
     } catch (e) { alert(e.message);}
 }
+/**
+ * remove a object created with add_div
+ * @param elt id of the elt 
+ */
+function removeDiv(elt) {
+    if (g(elt) ){ document.body.removeChild(g(elt)); }
+}
\ No newline at end of file