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 about 2 years ago
ref #7858 removing delete button from name editor to avoid problems for some users - prelimiary solution