Workaround a (possible) IE bug (#1485309).

svncommit

2008-09-17 8b7f5a3792d1514b7c0310c0f1dc5139958c1502

 program/js/common.js

@@ -49,6 +49,7 @@
  this.ie4 = (this.ie && !this.dom);
  this.ie5 = (this.dom && this.appver.indexOf('MSIE 5')>0);
  this.ie6 = (this.dom && this.appver.indexOf('MSIE 6')>0);
  this.ie7 = (this.dom && this.appver.indexOf('MSIE 7')>0);

  this.mz = (this.dom && this.ver>=5);  // (this.dom && this.product=='Gecko')
  this.ns = ((this.ver<5 && this.name=='Netscape') || (this.ver>=5 && this.vendor.indexOf('Netscape')>=0));