Issue #1437: duplicate label warning

This adds a warning when trying to either add a label with a name that already exists, or edit a label to have a name that already exists.

#1437 (closed)