Project

General

Profile

« Previous | Next » 

Revision 1103c727

ID1103c727e0bcd2b58e88cfb536340490655d1429
Parent 84ff066f
Child fc853bb4

Added by Katja Luther 27 days ago

fix #9538: name editor is only closed if change really takes place

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)