Hi Clément, 2016-11-07 1:58 GMT+01:00 Clément Pit--Claudel <[email protected]>: > On 2016-11-06 18:20, Mosè Giordano wrote: >> Hi Clément, > > Hi Mosè, > >>> […] It could say "no errors or warning to show; try >>> customizing `…'"? >> >> That's a sensible suggestion, thanks. Maybe we can conditionally >> add that suggestion when there are warnings/bad boxes. I can do >> this, but not right now, probably tomorrow or in the next few days. >> Feel free to ping me here if I miss to do it this week. > > Great, thanks!
Before applying it, please have a look to the patch attached. Do you think it's ok? Bye, Mosè
patch
Description: Binary data
_______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
