GNOME Bugzilla – Bug 743357
Restore cursor breaks searching
Last modified: 2015-01-23 08:44:10 UTC
Commit ac953b00a86cd6be82ef297cbc3972113de7175e save the cursor saved when going out of focus and restore it again when focus is gain again. But for searching it's interesting to actually preserve the cursor the search is doing. Not sure the best solution for this.
Created attachment 295220 [details] [review] editor: allow clearing saved cursor position Calling this will prevent jumping back to the previous position.
Created attachment 295221 [details] [review] editor: reset saved cursor position when navigating search results
Should be fixed, thanks! Attachment 295220 [details] pushed as 77c0c1d - editor: allow clearing saved cursor position Attachment 295221 [details] pushed as 0faeb61 - editor: reset saved cursor position when navigating search results
didn't find that part of the code to do a patch, thanks!