bug#16752: 24.3.50; pp-to-string deactivates mark

[Eli Zaretskii]

> From: Helmut Eller <eller.helmut@gmail.com>
> Cc: monnier@iro.umontreal.ca,  16752@debbugs.gnu.org
> Date: Tue, 18 Feb 2014 16:33:21 +0100
> 
> On Tue, Feb 18 2014, Eli Zaretskii wrote:
> 
> >> From: Helmut Eller <eller.helmut@gmail.com>
> >> Cc: Eli Zaretskii <eliz@gnu.org>,  16752@debbugs.gnu.org
> >> Date: Tue, 18 Feb 2014 09:31:14 +0100
> >> 
> >> I also discovered that add-text-properties doesn't deactivate mark.
> >
> > It does for me, so please show a recipe.
> 
> Hmm.. can't reproduce it now.  Apparently had called
> add-text-properties two times with the same arguments.

Then I think that's expected, since the second time is not considered
a change of the buffer (Emacs simply optimizes such a no-op away,
including the deactivation of mark).