|
| From: | Stefan Monnier |
| Subject: | Re: Customize fringe |
| Date: | Thu, 09 May 2002 14:35:13 -0400 |
See my previous post yesterday or the day before on a separate thread
for why I don't think there should be a "toggle fringe" in the menu bar.
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |