Changes regarding searching and others

Question

Changes regarding searching and others

Closed this issue 4 years ago · 3 comments

Although searching has been implemented, there is one major bug and a missing feature

If search is involved twice with the same query, the search results are duplicated
Backward searching is yet to be implemented

Also dynamic_output function has probably grown too much. Clippy is already warning about it. Therefore we should probably break it into smaller functions

Answer 1 · 2021-01-12T18:05:24.000Z

Release v3.0.1 fixes the first bug

Answer 2 · 2021-01-19T06:53:19.000Z

Release v3.1.0 adds backward searching but there is a issue where the cursor is placed in wrong position if upper_mark is changed manually by the user

Answer 3 · 2021-01-25T16:34:44.000Z

I think this bug has already been fixed. Closing the issue