FWIW, I am on vacation without a computer right now. I did not test Enrico's patch, but I agree that this is the right direction. So applying it cannot hurt, and will allow us to move forward, not only wrt next release, but also on this issue.
JMarc Le 29 juillet 2017 23:57:52 GMT+02:00, Scott Kostyshak <skost...@lyx.org> a écrit : >I'm concerned that since this issue has left us all exhausted, there is >a feeling of "let's just get this over so we can move on". I encourage >all of us to give one more cognitive spurt and give a vote.