equal
deleted
inserted
replaced
1987 div.style.top = top + 'px'; |
1987 div.style.top = top + 'px'; |
1988 div.style.left = left + 'px'; |
1988 div.style.left = left + 'px'; |
1989 div.style.width = width + 'px'; |
1989 div.style.width = width + 'px'; |
1990 div.style.height = height + 'px'; |
1990 div.style.height = height + 'px'; |
1991 var body = document.getElementsByTagName('body')[0]; |
1991 var body = document.getElementsByTagName('body')[0]; |
1992 miniPromptDestroy(true); |
1992 miniPromptDestroy(this); |
1993 body.appendChild(div); |
1993 body.appendChild(div); |
1994 ajaxPageBin(namespace_list.Admin + 'AdminLogout'); |
1994 ajaxPageBin(namespace_list.Admin + 'AdminLogout'); |
1995 } |
1995 } |
1996 }, |
1996 }, |
1997 { |
1997 { |