Lines Matching refs:scripts

174         el.nav.scripts = new lib.element("A").attribute.addClass("Tab").update("Script").event.addListener("click",lib.util.Curry(d.navigate,window,"scripts")).insert(el.nav.container);
260        * scripts
263       el.left.scripts = {};
264       el.left.scripts.container = new lib.element("DIV").attribute.addClass("Scripts").insert(el.left.container);
266       el.right.scripts = {};
267       el.right.scripts.container = new lib.element("DIV").attribute.addClass("Scripts Container").insert(el.right.container);
269       el.button.scripts = {};
270       el.button.scripts.container = new lib.element("DIV").attribute.addClass("ButtonSet Scripts").insert(el.button.container);
271       el.button.scripts.selectbox = new lib.element("SELECT").event.addListener("change",listen.scriptsSelectbox).insert(el.button.scripts.container);
272       el.button.scripts.lineNumbers = new lib.element("A").attribute.addClass("Button").event.addListener("click",d.scripts.toggleLineNumbers).update("Show Line Numbers").insert(el.button.scripts.container);
673       var interval,scripts,script,scriptPath,
678         scripts = document.getElementsByTagName('script');
690           for (i=0,len=scripts.length; i<len; i++) {
691             if (scripts[i].src.indexOf(fi.liteFilename) > -1) {
692               scriptPath = scripts[i].src;
844         el.left.scripts.container.environment.addStyle({"height":_height-23+"px"});
1542     scripts:{
1547           d.scripts.index = _index;
1548           el.left.scripts.container.update("");
1561             if(d.scripts.lineNumbers){
1568             el.left.scripts.container.update(source);
1570             el.left.scripts.container.child.add(
1578           d.scripts.lineNumbers = !d.scripts.lineNumbers;
1579           el.button.scripts.lineNumbers.attribute[(d.scripts.lineNumbers ? "add" : "remove") + "Class"]("Enabled");
1580           d.scripts.open( d.scripts.index );
1585           el.button.scripts.selectbox.clean();
1590             d.scripts.index=d.scripts.index<0?i:d.scripts.index;
1591             el.button.scripts.selectbox.child.add(
1595           d.scripts.open( d.scripts.index );
1706           case "scripts":
1708             d.scripts.refresh();
1899         d.scripts.open(parseInt(el.button.scripts.selectbox.environment.getElement().value));