Revision 532a02bb
ref #7858 removing delete button from name editor to avoid problems for some users - prelimiary solution
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 532a02bbdaad6b087d13591c7cfdb9583bbe3f76 |
| Parent | 959b2c17 |
| Child | b14494a9 |
Added by Andreas Kohlbecker 6 months ago
ref #7858 removing delete button from name editor to avoid problems for some users - prelimiary solution