Closed LenaSaid closed 2 years ago
When removing a token from the place edit dialog, the next token in the list will be selected.
Also changed the label for enumeration color in the "new color" dialog from "name" to "element name"
When removing a token from the place edit dialog, the next token in the list will be selected.
Also changed the label for enumeration color in the "new color" dialog from "name" to "element name"