Subject: Re: bug#7101: Please reveal-mode, don't hide my overlays!

From: Lennart Borgman <[email-masked]>
Date: Sat, 25 Sep 2010 22:57:27 +0200

> Instead in the attached patch I made the automatic hiding optional and
> add a new command for hiding

If this is accepted then please also change the default of
reveal-at-mark to nil since that seems to be a more useful default
then.