Eli Zaretskii writes: >> From: Mauro Aranda >> >> Kévin Le Gouguec writes: >> >> > Mauro Aranda writes: >> > >> >> But, now we don't know if the help-echo property was effectively added >> >> by the library or it was already there :-(.  Sadness. >> > >> > Would the attached address that problem?  (To apply on top of the >> > previous patch; I'll squash it all if we are happy with it) >> >> Looks good to me, thanks. > > If you want me to install some patches, please post them. Thanks for the nudge; re-attaching the patch that makes button.el preserve help-echo strings; reviewed by Mauro in two parts¹², then squashed³. I can install it if we think that fix is unambiguously good. There is another (independent) patch in-flight for changing the presentation of warnings⁴; no feedback on code nor effect yet. Personally not very invested in it, but I felt it was important to explore the other ideas raised in this thread (replacing ⛔ with a regular text button; adding a warning sign). ¹ https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61413#93 ² https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61413#99 ³ https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61413#102 ⁴ https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61413#108