|
| From: | Richard Stallman |
| Subject: | Re: what is the point of overlay-arrow-string? |
| Date: | Fri, 2 Nov 2001 00:05:52 -0700 (MST) |
overlay-arrow-string specifies what string to display as the overlay arrow. The feature is actually used, so there is no sense getting rid of it.
| [Prev in Thread] | Current Thread | [Next in Thread] |