diff widgets/TipDialog.h @ 731:f831ca41d4a5 tonioni

Add selectionChangedByUser for selection changes prompted by interactivity rather than by undo/redo
author Chris Cannam
date Wed, 05 Mar 2014 09:35:32 +0000
parents d632a1e87018
children a18e78b9c78b
line wrap: on
line diff