[PATCH] Added some options to configure.py allowing for faster partial-reconfigures.

[José Matos]

On Mon, 2023-10-09 at 07:36 +0000, Isaac Oscar Gariano wrote:
> > It would be nice to be able to select these options from the GUI
> > when
> > you click the reconfigure button, so if someone familiar with the
> > GUI
> > code can do that, it would be very helpfull!
> > 
> > 
> > — Isaac Oscar Gariano​

As a first reaction your changes provide better control for configure
and they are worth having. In order to take a cautious stance we should
leave them out of 2.4.0 and consider them to 2.4.1 or 2.4.2.

OTHO IMHO (I am missing other acronyms to add) this does not need to be
accessible through the GUI. Most of the time you want the default
procedure, it is slow but it does what you want.

The use of these options inside LyX should depend on the actual
context. That would mean that in your particular case the option to
only rebuild the modules part should be in the modules related
interface.
In this case this will take time and it should be done in a incremental
way (and so it will take some time).

So I support the inclusion of this change that initially it is only
accessible through the command line.

That was the principle that I have used in lyx2lyx that has more
options than those that LyX provides directly. And some of those were
only used from LyX several years (and releases) after being in lyx2lyx.

Best regards,
-- 
José Abílio