<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">Le 15 juil. 2019 4:15 PM, "Peter Kay" <<a href="mailto:pkay42@gmail.com" target="_blank">pkay42@gmail.com</a>> a écrit :<br type="attribution"><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Can CodeMirror adjust its markup?  Look for (:source...:) instead of (:code...:)?  That might be an option as well, and might be worth checking.</div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">IMHO, this should be written as an extra script (as already done with the code highlighter for the main recipe), providing both the markup and the parameters translation (language identifier...).</div><div dir="auto"></div></div>