Subject: Re: bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers

From: Andrea Corallo <[email-masked]>
Date: Sun, 20 Aug 2023 16:39:40 -0400

Eli Zaretskii <[email-masked]> writes:

>> From: Andrea Corallo <[email-masked]>
>> Cc: Visuwesh <[email-masked]>,  [email-masked],  [email-masked]
>> Date: Sun, 20 Aug 2023 06:11:20 -0400
>> 
>> Eli Zaretskii <[email-masked]> writes:
>> 
>> > Andrea, would it make sense to introduce an option which could disable
>> > showing this information in *Help*?
>> 
>> Hi Eli,
>> 
>> sure why not, something like `help-enable-function-type'?
>
> Yes, something like that.

Okay I pushed 652e45b70d8 introducing `help-display-function-type' as
suggested by Philip, happy to tweak the name or the doc if we feel it's
necessary.

Thanks

  Andrea