:: :::: /hoon/hook/mar :: /? 314 !: |_ own=@t :: ++ grow :: convert to |% ++ mime [/text/hoon (taco own)] :: convert to %mime ++ elem :: convert to %html ;div:pre(urb_codemirror ""):"{(trip own)}" :: =+ gen-id="src-{<`@ui`(mug own)>}" :: ;div :: ;textarea(id "{gen-id}"):"{(trip own)}" :: ;script:""" :: CodeMirror.fromTextArea( :: window[{}], :: \{lineNumbers:true, readOnly:true} :: ) :: """ :: == ++ hymn :: ;html:(head:title:"Source" "+{elem}") ;html ;head ;title:"Source" ;script@"//cdnjs.cloudflare.com/ajax/libs/codemirror/4.3.0/codemirror.js"; ;script@"/lib/syntax/hoon.js"; ;link(rel "stylesheet", href "//cdnjs.cloudflare.com/ajax/libs/". "codemirror/4.3.0/codemirror.min.css"); ;link/"/lib/syntax/codemirror.css"(rel "stylesheet"); == ;body ;textarea#src:"{(trip own)}" ;script:'CodeMirror.fromTextArea(src, {lineNumbers:true, readOnly:true})' == == ++ txt (lore (cat 3 own '\0a')) -- ++ grab |% :: convert from ++ mime |=([p=mite q=octs] q.q) ++ noun ,@t :: clam from %noun ++ txt |= wan=wain =+ (role wan) (end 3 (dec (met 3 -)) -) -- ++ grad %txt --