Subject: Re: bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 24 Aug 2020 19:21:24 +0200

Tassilo Horn <[email-masked]> writes:

> That would be sad because except for the performance in some
> cases, it's very nice. :-(

It is indeed very nice.  My guess is that most of the usages of the
function is for shortish JSON structures.  Perhaps we could just
introduce an arbitrary switchover between using replace-region-contents
and plain replacing -- like a hundred K or something?  

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no