diff -r 69b9772a8f1a -r ffc038fdb8f1 src/js/utils.js --- 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