[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mode-line-element-to-string

From: Richard Stallman
Subject: Re: mode-line-element-to-string
Date: Thu, 11 Apr 2002 21:13:14 -0600 (MDT)

I have not checked the details, but this seems useful.

I propose the name  format-mode-line-element
since that has verb that says what it does.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]