--- a/src/js/utils.js	Tue Oct 11 17:12:34 2011 +0200
+++ b/src/js/utils.js	Tue Oct 11 17:12:51 2011 +0200
@@ -11,3 +11,11 @@
 	}
 };
 
+/* for ie compatibility
+if (Object.prototype.__defineGetter__&&!Object.defineProperty) {
+   Object.defineProperty=function(obj,prop,desc) {
+      if ("get" in desc) obj.__defineGetter__(prop,desc.get);
+      if ("set" in desc) obj.__defineSetter__(prop,desc.set);
+   }
+}
+*/
\ No newline at end of file