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.
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.
--
Enrico
