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
