diff configure @ 190:add7468a7ca1

Fix failure to hide pitch candidates when making an empty selection to replace a non-empty one
author Chris Cannam
date Tue, 04 Mar 2014 16:32:54 +0000
parents 7d0d0cd59adb
children 56109ef020b4 ffd1a89a68fa
line wrap: on
line diff