| commit | 9ec546d293b26df92f6495e0417693e9af07ed02 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Mon Feb 13 19:11:04 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Mon Feb 13 19:47:03 2017 +0100 |
| tree | 7be154919c469ffe836fe387c3d0bac442a122f3 | |
| parent | fccfcccd37f0bda870910881dc52111937fabbab [diff] |
tweaks: rename a function, and drop an unneeded parameter When replacements are made, nothing needs to be reset any more (it was done insufficiently anyway). Just make sure the screen is refreshed when all is done -- this may be superfluous when doing interactive replacements, but not when replacing all.