Changes between Initial Version and Version 1 of Ticket #8141, comment 5
- Timestamp:
- Jul 22, 2012, 11:25:50 AM (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #8141, comment 5
initial v1 3 3 Good point! 4 4 Added a final ScrollToSelection() after all replacements are done. Intermediate scrolling is still ommited though. 5 I think it makes more sense to scroll to the last replacement because the original caret position is not necessarily preserved, for instance when the replacement is an empty string. Then your final caret position is hard to predict. 5 6 > 6 7 > Oh, and next time, please use "git format-patch" in order to be easier credited.