|
From: | Drew Adams |
Subject: | bug#4510: 23.1; Separate help-argument-face from downcasing |
Date: | Tue, 22 Sep 2009 07:35:57 -0700 |
> This is the proposed patch; it also renames > `help-default-arg-highlight', which has an unfitting name. That works for me. Thx - Drew
[Prev in Thread] | Current Thread | [Next in Thread] |