Thank you!  I see, that way is far less disrupting so it could be
proceeded without debating.

Daanturo
On Mar 4 2025, at 2:10 am, Stefan Kangas <stefankangas@gmail.com> wrote:
Version: 31.1

I think you should use the DEFAULT-VALUE argument instead of
INITIAL-INPUT.

Also, I recommend using format-prompt, e.g.

(format-prompt "No comment syntax is defined, use" "#")
Sent from Mailspring