Changes between Initial Version and Version 1 of Ticket #8141, comment 5


Ignore:
Timestamp:
Jul 22, 2012, 11:25:50 AM (12 years ago)
Author:
x-ist

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8141, comment 5

    initial v1  
    33Good point!
    44Added a final ScrollToSelection() after all replacements are done. Intermediate scrolling is still ommited though.
     5I 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.
    56>
    67> Oh, and next time, please use "git format-patch" in order to be easier credited.