diff view/ViewManager.h @ 363:6167a28d25fc sv1-v1.2pre3

* line up overview widget nicely with main pane (at least on first startup) * fix #1878396 renaming layer seems to have no visible effect * comment out some debug output
author Chris Cannam
date Wed, 06 Feb 2008 17:40:53 +0000
parents 2f83b6e3b8ca
children e1a9e478b7f2
line wrap: on
line diff