feature request #8135
Updated by Patrick Plitzner about 5 years ago
for details see #7470 and #7653
1. Implement a new detail element for verbatim type designations
2. Implement button to add the new detail element to the list of type designation in the detail view