comparison widgets/NotifyingPushButton.h @ 784:3a52b458fcd5 tonioni

fixed note delete bug (now deletes when any overlap with the selection occurs)
author matthiasm
date Wed, 11 Jun 2014 19:41:29 +0100
parents 5b7472db612b
children 6a6a63506e3f
comparison
equal deleted inserted replaced
783:c1fc074971ed 784:3a52b458fcd5