8 …label:'+ expand source',check:function(highlighter){return highlighter.collapse;},func:function(se…  argument
9 …der);highlighter.div.className=highlighter.div.className.replace('collapsed','');}},ViewSource:{la…  argument
10 …highlighter.originalCode).replace(/</g,'&lt;');var wnd=window.open('','_blank','width=750, height=…  argument
11 {var code=dp.sh.Utils.FixForBlogger(highlighter.originalCode).replace(/&lt;/g,'<').replace(/&gt;/g,…
14 {var flashcopier=highlighter.flashCopier;if(flashcopier==null)
15 {flashcopier=document.createElement('div');highlighter.flashCopier=flashcopier;highlighter.div.appe…
17 …The code is in your clipboard now');}},PrintSource:{label:'print',func:function(sender,highlighter)  argument
18 …highlighter.div.className.replace('collapsed','')+' printing">'+highlighter.div.innerHTML+'</div>'…  argument
19 …eplace('{V}',dp.sh.Version));doc.close();wnd.focus();}}};dp.sh.Toolbar.Create=function(highlighter)  argument
21 {var cmd=dp.sh.Toolbar.Commands[name];if(cmd.check!=null&&!cmd.check(highlighter))
27 dp.sh.Toolbar.Commands[name].func(sender,n.highlighter);}
47 {var result=document.createElement(name);result.highlighter=this;return result;}
111 …;this.matches=new Array();this.div.className='dp-highlighter';this.div.highlighter=this;this.bar.c…
147 var elements=[];var highlighter=null;var registered={};var propertyName='innerHTML';FindTagsByName(…
155 …highlighter=new dp.sh.Brushes[registered[language]]();element.style.display='none';highlighter.noG…
157 {styleNode.styleSheet.cssText=highlighter.Style;}
159 {var textNode=document.createTextNode(highlighter.Style);styleNode.appendChild(textNode);}
161 highlighter.firstLine=(firstLine==null)?parseInt(GetOptionValue('firstline',options,1)):firstLine;h…