label editor now rejects empty label names and label names containing a ","

Signed-off-by: Jerome Flesch <jflesch@gmail.com>