<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Thank you, Enrico. This looks promising. I understood that instant preview only works with Texpad’s internal typesetter.<div class=""><br class=""></div><div class="">Cheers</div><div class="">G<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jul 8, 2020, at 5:12 AM, Franconi Enrico <<a href="mailto:franconi@inf.unibz.it" class="">franconi@inf.unibz.it</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class="">

<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Hi George,
<div class="">I'm a happy user of Texpad <a href="https://www.texpad.com/" class="">
https://www.texpad.com</a> (for both macOS and iOS) where all the features you are asking for are available, and more :-)</div>
<div class="">cheers</div>
<div class="">--e.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
</div>

----------- Please Consult the Following Before Posting -----------<br class="">TeX FAQ: <a href="http://www.tex.ac.uk/faq" class="">http://www.tex.ac.uk/faq</a><br class="">List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" class="">https://sites.esm.psu.edu/~gray/tex/</a><br class="">List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" class="">http://dir.gmane.org/gmane.comp.tex.macosx</a><br class="">                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" class="">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br class="">TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" class="">http://mactex-wiki.tug.org/</a><br class="">List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" class="">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br class=""></div></blockquote></div><br class=""></div></body></html>