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

[Isaac Oscar Gariano]

Thanks for looking at my patch!

I'm happy to add a simple "Refresh" button to the "Document Settings -> Module" window if you think this would be a good idea?

— Isaac Oscar Gariano​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20231016/ac27f2ab/attachment-0001.html>