Added by Andreas Kohlbecker 3 months ago.
Updated 3 months ago.
Added by Andreas Kohlbecker 3 months ago
ref #7858 removing delete button from name editor to avoid problems for some users - prelimiary solution
Also available in: Atom