Project

General

Profile

« Previous | Next » 

Revision 7dce04a4

ID7dce04a4ef06e30769a711c8b6aceb11b2137c31
Parent 88505483
Child fc545014

Added by Katja Luther almost 3 years ago

fix #5692: adapt delete algorithm to annotatedLineEditor mechanisms

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)