<div dir="ltr"><div><div><div>Alectron (<a href="https://electron.atom.io/">https://electron.atom.io/</a>) allows to write a cross-platform GUI which looks like a native app. There are two problems:<br><br></div>1. I am not sure whether it is available for all platforms supported in TL<br><br></div>2. The GUI will have to be rewritten in JavaScript<br><br></div>I just mention its existence but I know that such a change would require a lot of work and I am not sure wheter its benefit is worth the effort.<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">Zdeněk Wagner<br><a href="http://ttsm.icpf.cas.cz/team/wagner.shtml" target="_blank">http://ttsm.icpf.cas.cz/team/wagner.shtml</a><br><a href="http://icebearsoft.euweb.cz" target="_blank">http://icebearsoft.euweb.cz</a></div></div>
<br><div class="gmail_quote">2017-04-20 5:00 GMT+02:00 Norbert Preining <span dir="ltr"><<a href="mailto:norbert@preining.info" target="_blank">norbert@preining.info</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> <a href="https://blog.codinghorror.com/content/images/uploads/2006/02/6a0120a85dcdae970b0120a86d6311970b-pi.png" rel="noreferrer" target="_blank">https://blog.codinghorror.com/<wbr>content/images/uploads/2006/<wbr>02/<wbr>6a0120a85dcdae970b0120a86d6311<wbr>970b-pi.png</a><br>
<br>
:-D Genius!<br>
<span class=""><br>
> Nor will they :). Norbert's shell is great, but would<br>
> be complicated for me to wrap, as we discussed offlist.<br>
<br>
</span>Fine with me, I will try to write something just for the fun<br>
of it ;-)<br>
<div class="HOEnZb"><div class="h5"><br>
Norbert<br>
<br>
--<br>
PREINING Norbert                               <a href="http://www.preining.info" rel="noreferrer" target="_blank">http://www.preining.info</a><br>
Accelia Inc.     +    JAIST     +    TeX Live     +    Debian Developer<br>
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13<br>
</div></div></blockquote></div><br></div>