view images/pull.png @ 133:aaeab914f2a3

* Better attempt at retaining current visible area when history scene changes; first cut at highlighting new items
author Chris Cannam
date Tue, 30 Nov 2010 12:45:34 +0000
parents a9098eba2ee5
children
line wrap: on
line source
(binary:image/png)