Subject: Re: bug#19058: [PATCH] Desktop restore fails to run mark activation hooks when it should
From: Stefan Monnier <[email-masked]>
To: Kelly Dean <[email-masked]>
Cc: [email-masked]
Date: Fri, 21 Nov 2014 13:02:53 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

> Of course, nobody besides me cares about this bug, but its existence serves
> as a convenient excuse for me to ask Stefan to please add the dont-activate
> option to set-mark so I don't have to maintain it anymore in my personal
> patches. ;-)

But if you call set-mark and a non-nil dont-activate argument, you get
the same as (move-marker (mark-marker) <foo>), so this arg only makes
sense in the case where you dynamically want to choose whether to
activate the mark or not, which is very rare.

So I installed a patch that just calls activate-mark.

        Stefan