Revision 7dce04a4
fix #5692: adapt delete algorithm to annotatedLineEditor mechanisms
Files
- added
- modified
- copied
- renamed
- deleted
ID | 7dce04a4ef06e30769a711c8b6aceb11b2137c31 |
Parent | 88505483 |
Child | fc545014 |
Added by Katja Luther over 4 years ago
fix #5692: adapt delete algorithm to annotatedLineEditor mechanisms