Re: How do I set border color in 21.3 (Win32)

[Stefan Monnier]

> That said, if someone can suggest a few strings or phrases that could
> be useful index entries for the fringes, please speak up, and I will
> add the most successful indexing to the manual, so that the
> description of the fringes could be easily found via the index search
> even if one doesn't know the name.  (A good criterion for coming up
> with a useful index entry is to ask yourself what would you try to
> look up in the index if I needed to find out about this feature and
> didn't know its exact name.)

It seems people rarely come up with "fringe" on their own, instead they
think of "border" or "margin".


        Stefan