- edited description
Scroll to search results
When searching, highlight or select row/col with an animation similar to the way Preview.app jumps the text out at you and darkens everything except the selected/found thing. If a search result is outside of the current view, auto-scroll there (with a smooth scrolling effect). If multiple search results are too far apart for current zoom level, smoothly zoom out to reveal them.
Rob
Comments (9)
-
reporter -
reporter - changed title to Scroll to search results
-
reporter - edited description
Split into 2 issues
-
reporter I'm going to ignore the smooth-scrolling part of this issue and rather simply address showing the result. Here were the ways I proposed addressing that via a recent email:
...when a search result is outside of the currently zoomed-in region, the current behavior is to not show anything selected. I think we should either zoom-in on every search result (either keeping the current zoom level if we can or zooming out if necessary), zoom-out completely, or somehow indicate what direction the result is in & provide a 'go to result' button that zooms to the selection. I'm reluctant to manipulate the view without the user explicitly doing it, so I'd lean toward a version of the latter - possibly providing a "zoom to result" button with a pre-checked checkbox next to it called something like 'always do this' or 'auto' or whatever that grays out the button.
Ana liked the full zoom-out idea, as it provides context. That seems like it would be pretty easy, so I will do that.
-
reporter -
assigned issue to
-
assigned issue to
-
reporter So branch 'issue26' got corrupted and I had copied all the changes into master and committed it, so the issue is resolved, however the 'issue26' branch is vestigial and I can't seem to delete it. After deleting the branch, I do a commit and it gives me a message saying that it cannot commit when the branch is in the state: "MERGING_RESOLVED" which doesn't make sense to me, so I'll just leave it alone. But if anyone knows a way to obliterate it, feel free.
-
reporter - changed status to resolved
Done, though the branch is dead. See issue's comments.
-
Tested searching, with and without wild cards. Works great.
-
repo owner - changed status to closed
- Log in to comment