GNU TeXmacs - Bugs: bug #59967, Live search stops working when...
You are not allowed to post comments on this tracker with your current authentication level.
bug #59967: Live search stops working when main window is modified
Submitter: | Basile <baudoly> | ||
Submitted: | Fri 29 Jan 2021 10:48:38 AM UTC | ||
Category: | None | Priority: | 5 - Normal |
Item Group: | None | Status: | None |
Privacy: | Public | Assigned to: | None |
Originator Name: | Open/Closed: | Open | |
Release: | None | Release: | 1.99.18 |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Attached Files
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
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.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2021-01-29 | baudoly | Attached File | - | Added pages_app.mov, #50802 |
Powered by Savane 3.13-d3ae.
Corresponding source code
Create a new document where "abc" is repeated three times on three separate lines.
Search for "ab". The hits get highlighted, as expected.
Now edit the main window (by adding a space somewhere). The highlighted hits disappear.
Click on the next/previous search (arrow-like) buttons from the search window: they no longer work. To get the search work again, on has to edit the text in the search field, e.g., delete the final "b" and type it again.
There should be an easier way to bring the current search back to life.
The behavior of Pages.app is documented in the attached movie.