Re: shell-escape UI (and needauth)

2017-08-10 Thread Enrico Forestieri
On Thu, Aug 10, 2017 at 05:37:33PM +0200, Tommaso Cucinotta wrote: > > - the UI visible red icon is fantastic :-)! guess we can re-use it when the > user authorized needauth converters for the currently open doc; Probably. The tooltip could be used to differentiate the usage. > - the shell-escap

shell-escape UI (and needauth)

2017-08-10 Thread Tommaso Cucinotta
Hi, I just had some time to finally try out the new shell-escape feature and UI, so I thought to drop a few comments: - the UI visible red icon is fantastic :-)! guess we can re-use it when the user authorized needauth converters for the currently open doc; - the shell-escape would resemble ne