tree ce997018fac43a6ac12ca676d4d202128032d28e
parent 2b9578f0f8cdba144e996273bca586b384e33d90
author Bram Moolenaar <Bram@vim.org> 1345044417 +0200
committer Bram Moolenaar <Bram@vim.org> 1345044417 +0200

updated for version 7.3.633
Problem:    Selection remains displayed as selected after selecting another
            text.
Solution:   Call xterm_update() before select(). (Andrew Pimlott)