comparison src/gui_gtk.c @ 3748:ad5fbf3596e0 v7.3.633

updated for version 7.3.633 Problem: Selection remains displayed as selected after selecting another text. Solution: Call xterm_update() before select(). (Andrew Pimlott)
author Bram Moolenaar <bram@vim.org>
date Wed, 15 Aug 2012 17:26:57 +0200
parents 46896c29edd7
children 337a4368fd2b
comparison
equal deleted inserted replaced
3747:41ebdc35f807 3748:ad5fbf3596e0