bug#44303: 28.0.50; json-pretty-print-buffer creates spurious lock file

[Lars Ingebrigtsen]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> But is that even needed here?  Don't the later
> Finsert_buffer_substring/del_range_both functions do the necessary
> bookkeeping?

Aha, it was previously:

-      /* If k >= l, it means nothing needs to be deleted.  */
-      if (k < l)
-       prepare_to_modify_buffer (from, to, NULL);
+      prepare_to_modify_buffer (from, to, NULL);

So it needs to be done in the del_range_both case?  Which makes some
sense.  Perhaps it can just be moved down into the loop (and done once
if it hasn't been done before)?

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