Project

General

Profile

« Previous | Next » 

Revision fae92bbd

IDfae92bbdf533ff1cd3c67342a0cd899d4cdf2b53
Parent dd627134
Child 3699c749

Added by Katja Luther over 1 year ago

fix #4136: refresh event for navigator if name editor is saved

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)