Fixed cursor update by being less "clever".
authorMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 5 Oct 2011 22:01:12 +0000 (15:01 -0700)
committerMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 5 Oct 2011 22:01:12 +0000 (15:01 -0700)
commit4bfec48866d4de6d593cb4a7be66cefa4ddad408
tree1facfe9d17a75d7c64ea96aacec7c126d50d48c0
parentddc3f9dd4989c40e929172f816a840adc94208db
Fixed cursor update by being less "clever".

No need for a permanent mark in cursor-ink-point; removed the slot.
Update-cursor just calls redraw-cursor to re-compute cursor ink
positions at the end of every update, regardless of change-regions.
Set-box-ink! will do no unnecessary damage.
src/gtk-screen/gtk-screen.scm