Subject: Re: bug#36922: [PATCH] Add defalias toolbar-mode for tool-bar-mode

From: Stefan Kangas <[email-masked]>
Date: Mon, 9 Sep 2019 19:19:37 +0200

tags 36922 + wontfix
close 36922
quit

Eli Zaretskii <[email-masked]> writes:

> FWIW, I don't think it's terribly important to have such an alias.  So
> if there are people who object, perhaps we shouldn't.  After all,
> those who make this mistake frequently can write their private alias,
> right?

Thanks for taking a decision about this suggestion.

Best regards,
Stefan Kangas