bug#43016: replace-region-contents takes a lot of time when called from

bug-gnu-emacs

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#43016: replace-region-contents takes a lot of time when called from

From:	Paul Eggert
Subject:	bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer
Date:	Tue, 25 Aug 2020 11:26:23 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

On 8/24/20 11:10 PM, Eli Zaretskii wrote:

I suppose the first attached patch might be a candidate for backporting into
Emacs 27 if this bug is considered to be serious enough.


Yes, please.


OK, I installed the backported patch into the emacs-27 branch.

[Prev in Thread]

Current Thread

[Next in Thread]

bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, (continued)
- bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Eli Zaretskii, 2020/08/24
  - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, ljell, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Tassilo Horn, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Lars Ingebrigtsen, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Philipp Stephani, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Eli Zaretskii, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Tassilo Horn, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Eli Zaretskii, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Paul Eggert, 2020/08/24
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Eli Zaretskii, 2020/08/25
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Paul Eggert <=
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Tassilo Horn, 2020/08/25
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, Paul Eggert, 2020/08/25
    - bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer, ljell, 2020/08/24

Prev by Date: bug#39145: 28.0.50; dired: Show broken/circular links in different font
Next by Date: bug#41524: 26.3; Request for 'x' for 'execute' in dired menu
Previous by thread: bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer
Next by thread: bug#43016: replace-region-contents takes a lot of time when called from json-pretty-print-buffer
Index(es):
- Date
- Thread