Searched refs:highlighter (Results 26 – 26 of 26) sorted by last modified time
12
9 …der);highlighter.div.className=highlighter.div.className.replace('collapsed','');}},ViewSource:{la… argument14 {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) argument21 {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;}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);}[all …]