Revision 66af3161
fix #8377 disabling delete buttons in editors for new type designations and fixing bug in button state handling
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 66af3161e72892bc06cb3ca9d9eb6e292f87c2fa |
| Parent | 4e9b68d2 |
| Child | c80e35c1 |
Added by Andreas Kohlbecker over 1 year ago
fix #8377 disabling delete buttons in editors for new type designations and fixing bug in button state handling