Subversion Repositories DevTools

Rev

Rev 6592 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 6592 Rev 6610
Line 3... Line 3...
3 
 */
 3 
 */
4 
 
 4 
 
5 
var ie4=document.all&&navigator.userAgent.indexOf("Opera")==-1
 5 
var ie4=document.all&&navigator.userAgent.indexOf("Opera")==-1
6 
var ns6=(document.getElementById&&!document.all)||navigator.userAgent.indexOf("Opera")==0
 6 
var ns6=(document.getElementById&&!document.all)||navigator.userAgent.indexOf("Opera")==0
7 
var ns4=document.layers
 7 
var ns4=document.layers
- 
 
 8 
var menuobj;
8 
 
 9 
 
9 
function showmenu(e,which){
 10 
function showmenu(e,which){
10 
 
 11 
 
11 
if (!document.all&&!document.getElementById&&!document.layers)
 12 
if (!document.all&&!document.getElementById&&!document.layers)
12 
return
 13 
return
13 
 
 14 
 
14 
clearhidemenu()
 15 
clearhidemenu()
15 
 
 16 
 
- 
 
 17 
if (!menuobj){
- 
 
 18 
    menuobj = document.getElementById('popmenu');
- 
 
 19 
    if (!menuobj) {
- 
 
 20 
        menuobj = document.createElement('div');
- 
 
 21 
        menuobj.className = 'menuskin';
- 
 
 22 
        menuobj.onmouseover=function(event){clearhidemenu();highlightmenu(event,'on')};
- 
 
 23 
        menuobj.onmouseout=function(event){highlightmenu(event,'off');dynamichide(event)};
- 
 
 24 
        menuobj.id = 'popmenu';
- 
 
 25 
        document.body.appendChild(menuobj);
- 
 
 26 
    }
- 
 
 27 
}
- 
 
 28 
 
16 
menuobj=ie4? document.all.popmenu : ns6? document.getElementById("popmenu") : ns4? document.popmenu : ""
 29 
menuobj=ie4? document.all.popmenu : ns6? document.getElementById("popmenu") : ns4? document.popmenu : ""
17 
menuobj.thestyle=(ie4||ns6)? menuobj.style : menuobj
 30 
menuobj.thestyle=(ie4||ns6)? menuobj.style : menuobj
18 
 
 31 
 
19 
if (ie4||ns6)
 32 
if (ie4||ns6)
20 
menuobj.innerHTML=which
 33 
menuobj.innerHTML=which