merge fixes from trunk (bugs #1672379. #1671813, #1541147)

2007-03-02 14:13:13 +00:00
parent 81f6ea7f9f
commit 1f7afb504f
3 changed files with 97 additions and 72 deletions
--- a/pmd/scripts/move.js
+++ b/pmd/scripts/move.js
@@ -177,7 +177,7 @@ function Main()
  Small_tab_refresh();
  Re_load();
  id_hint = document.getElementById('hint');
-  if (ieIE) {
+  if (isIE) {
    General_scroll();
  }
 }