Replace doesn't work well with navigation arrows

[lemano]

Hi.

I got a weird behaviour, on find&replace. The reproducible steps are:

1. Make a simple replace(Ctrl-H)
2. You regret it, so Undo the edition made by replace
3. Now go to the replace input, and up arrow until some other string
4. Code replaces by the last replaced string, not by the chosen one.

Details of my installation:
Version: 1.25.1
Commit: 1dfc5e5
Date: 2018-07-11T15:40:20.190Z
Electron: 1.7.12
Chrome: 58.0.3029.110
Node.js: 7.9.0
V8: 5.8.283.38
Architecture: x64

Thanks

[pekkast]

Jep, as reported above

[rebornix]

Thanks for reporting, this is terrible. Will fix it this month.