Lines Matching refs:main

130        * main interface
134 el.main = new lib.element("DIV").attribute.set("id","Firebug").attribute.set('firebugIgnore',true).environment.addStyle({ "display":"none", "width":lib.util.GetViewport().width+"px" }).insert(document.body);
136 el.resizer = new lib.element("DIV").attribute.addClass("Resizer").event.addListener("mousedown",win.resizer.start).insert(el.main);
138 el.header = new lib.element("DIV").attribute.addClass("Header").insert(el.main);
140 el.left.container = new lib.element("DIV").attribute.addClass("Left").insert(el.main);
142 el.right.container = new lib.element("DIV").attribute.addClass("Right").insert(el.main);
143 el.main.child.add(new lib.element("DIV").attribute.addClass('Clear'));
326 ).attribute.addClass("SettingsDiv").insert(el.main);
406 el.main.environment.addStyle({ "display":env.debug&&'block'||'none' });
593 values+='height:'+(parseInt(firebug.internal.targetWindow.firebug.el.main.element.style.height.replace(/px/,''),10)-38);
616 el.main.environment.addStyle({
631 el.main.environment.addStyle({
657 el.main.environment.addStyle({ "height":"35px" });
739 firebug.el.main.environment.addStyle({"display": "none"});
754 el.main.environment.addStyle({
777 el.main.environment.addStyle({
790 win.resizer.y=[el.main.element.offsetHeight,_event.clientY];
792 win.resizer.y[3]=parseInt(el.main.environment.getPosition().top);
801 el.main.environment.addStyle({ "height":win.resizer.y[2]+"px" });
804 el.main.environment.addStyle({ "top":win.resizer.y[3]-(win.resizer.y[1]-_event.clientY)+"px" });
824 el.main.environment.addStyle({ "height":_height+38+"px" });
870 el.main.environment.addStyle({ "width":dim.width+"px"});
879 el.main.environment.addStyle({ "top":dim.height-el.main.environment.getSize().offsetHeight+Math.max(document.documentElement.scrollTop,document.body.scrollTop)+"px" });
880 el.mainiframe.environment.addStyle({ "top":dim.height-el.main.environment.getSize().offsetHeight+Math.max(document.documentElement.scrollTop,document.body.scrollTop)+"px" });
1836 } else if (el.main.environment.getStyle("display") === 'none') {
1869 target!=el.main.environment.getElement()&&
1870 target.offsetParent!=el.main.environment.getElement() ) {