GNU TeXmacs - Bugs: bug #62534, Replace Tool does not function
You are not allowed to post comments on this tracker with your current authentication level.
bug #62534: Replace Tool does not function
Submitter: | Bob Babble <babble> | ||
Submitted: | Sat 28 May 2022 07:36:58 AM UTC | ||
Category: | Editor | Priority: | 5 - Normal |
Item Group: | Error | Status: | Fixed |
Privacy: | Public | Assigned to: | vdhoeven |
Originator Name: | Open/Closed: | Closed | |
Release: | None | Release: | 2.1.2 |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Mon 10 Oct 2022 04:29:17 PM UTC, comment #2: |
Joris van der Hoeven <vdhoeven> |
Tue 31 May 2022 08:39:41 AM UTC, comment #1: I can confirm this. It seems to me that the cursor is moved twice, both in `(replace-next by)` and `(replace-next* by)` in `TeXmacs/progs/generic/search-widgets.scm`. Commenting out lines 353-359 (while closing parentheses) fixes this for me. Someone will need to double check this, as I may be misunderstanding something about the intention of this code. |
Jeroen Wouters <jeronim> |
Sat 28 May 2022 07:36:58 AM UTC, original submission:
The Replace Tool in Texmacs 2.1.2 does not function properly.
|
Bob Babble <babble> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 3 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2022-10-10 | vdhoeven | Status | None | Fixed | |
Assigned to | None | vdhoeven | |||
Open/Closed | Open | Closed |
Powered by Savane 3.13-d3ae.
Corresponding source code
Fixed in revision 13918.
Note that there may be a problem when replacing 'a' by something that contains 'a', like 'axa'. Replacing all occurrences of 'a' by 'axa' in 'aaaaa' will result in a segfault.
But one may argue that the user should never do something silly of this kind...