On Sun, Jul 30, 2017 at 11:01:18PM +0200, Enrico Forestieri wrote: > On Sat, Jul 29, 2017 at 07:51:08PM -0400, Scott Kostyshak wrote: > > > > 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. > > No, it is not related to the Qt version. I was aware of it but further > improvements were delayed by the exhausting discussion that followed.
Corrected at 44babaf6. > I am contemplating the possibility of simply not allowing minted if the > driver program is not called pygmentize, so that in this case the combo > box is simply disabled without any warning. This is still an option, even if I deem it to be inflexible. -- Enrico