--- widgEditor123.js	2008-12-04 07:05:36.000000000 +0200
+++ widgEditor.js	2008-12-19 00:15:02.000000000 +0200
@@ -142,12 +142,13 @@ var widgAutoClean = false;
 
 
 
+/* run() was replaced by a direct call to widgInit() through the module file. This was done to overcome an IE bug. */
 
-run();
-
+//run();
 
 
 
+/*
 function run()
 {
 	var oldOnload = window.onload;
@@ -165,7 +166,7 @@ function run()
 		}
 	}
 }
-
+*/
 
 
 
@@ -234,7 +235,7 @@ function widgEditor(replacedTextareaID)
 	this.theContainer.className = "widgContainer";
 	
 	this.theIframe.id = this.theTextarea.id + "WidgIframe";
-	this.theIframe.className = "widgIframe";
+	this.theIframe.className = "widgIframe resizable";
 	
 	this.theInput.type = "hidden";
 	this.theInput.id = this.theTextarea.id;
@@ -261,6 +262,10 @@ function widgEditor(replacedTextareaID)
 	this.theInput.widgEditorObject = this;
 	
 	this.theTextarea.parentNode.replaceChild(this.theContainer, this.theTextarea);
+	
+	/* Replace old textarea's Grippie with another for the iFrame */
+	$("#" + this.theContainer.id + " ~ .grippie").remove();
+	Drupal.behaviors.iframe();
 
 	/* Fill editor with old textarea content */
 	this.writeDocument(this.theInput.value);