log historywidget.cpp @ 138:a7dbc8e5b69d

age author description
Tue, 30 Nov 2010 13:51:50 +0000 Chris Cannam * Minor adjustment to scene lifecycle, delete old scene before creating new one to use less memory &c
Tue, 30 Nov 2010 13:07:53 +0000 Chris Cannam * Have a go at switching to new items in history widget when something happens in repo
Tue, 30 Nov 2010 12:45:34 +0000 Chris Cannam * Better attempt at retaining current visible area when history scene changes; first cut at highlighting new items