diff widgets/TipDialog.h @ 799:d6b79166ae0d tonioni

fixed deleteSelectionInclusive to not delete adjacent notes
author matthiasm
date Mon, 16 Jun 2014 11:44:14 +0100
parents d632a1e87018
children a18e78b9c78b
line wrap: on
line diff