if(!window.__td){window.__MT=100;window.__ti=0;window.__td=[];window.__td.length=__MT;window.__noTrace=false;}
if(!vp.studio)
{vp.studio={};}
vp.studio.initPens=function studio_initPens()
{if(!window.__noTrace){__td[__ti]=arguments;__ti=__ti>=__MT?0:__ti+1;}
Editor.ondocumentchange.addHandler(vp.studio.refreshMiniPreview);vp.studio.refreshMiniPreview();};