Le 02/02/2018 à 18:51, Richard Heck a écrit :
You don't need to recompile, but you would need to re-run "make install". Otherwise, the old configure.py is still being used from /usr/local/share/lyx/ or whatever.
How stupid of me :-( Your patch works fine after reinstall. -- Jean-Pierre