Allow the user to expand selection out if we haven't decorated all matches on screen
tednaleid opened this issue · comments
Ted Naleid commented
Current system allows for 62 matches (starting at the top of the page) to be decorated and jumped to. If there are more matches than that, the user can't get to it.
Allow the user to expand the selection out (maybe with cmd-; again?).
Ted Naleid commented
Should also not mark those items that are beyond the current jump targets (currently marks all targets with add_region
rather than just the ones we have jump target characters for).