[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15722: [PATCH] Man: Add menu.
|
From: |
Glenn Morris |
|
Subject: |
bug#15722: [PATCH] Man: Add menu. |
|
Date: |
Sat, 26 Oct 2013 22:04:14 -0400 |
|
User-agent: |
Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
Version: 24.4
Thank you, applied. Trivial comments follow:
Rüdiger Sonderfeld wrote:
> +(defcustom man-imenu-title "Contents"
> + "The title to use if man adds a Contents menu to the menubar.
> +Default is \"Contents\"."
No need to say what the default is, since that information is
automatically available. New defcustoms need :version tags.
BTW, I suggest you create a Savannah account and request membership of
the Emacs project so that you can commit these things yourself.