GUI: allow numbers in attr def name