On Sat, Jul 29, 2017 at 05:48:46PM -0400, Scott Kostyshak wrote: > On Fri, Jul 28, 2017 at 11:31:42PM +0200, Enrico Forestieri wrote: > > On Tue, Jul 25, 2017 at 09:16:15PM +0200, Enrico Forestieri wrote: > > > > > I am also investigating the possibility of attaching a context menu to > > > the red icon in the status bar. > > > > This is now done in the attached patch. Hovering with the mouse over the > > red icon a warning is shown, and right clicking shows a popup menu that > > allows to disable the shell escape option for the current document. > > I'm trying to test the patch with respect to d3b2cb09, because I could > not compile current master for some reason.
I was able to apply the patch at 770ab9a8 and successfully compile it.
The improvements look good. I've only noticed one issue so far:
If I remove the python-pygments module (and reconfigure) and test, I get
the following error:
The driver command necessary to use the minted package
(pygmentize) has not been found. Make sure you have
the python-pygments module installed or, if the driver
is named differently, to add the following line to the
document preamble:
\AtBeginDocument{\renewcommand{\MintedPygmentize}{driver}}
where 'driver' is name of the driver command.
I expected to get the error, but what I was surprised by is that I get
the error when going to Document > Settings. I expected to get an error
immediately after compiling (before the LaTeX log errors). Is that
expected? Note that I am using a compiled Qt 5.9.2dev so if you can't
reproduce, it is probably a bug on my side.
Scott
signature.asc
Description: PGP signature
