Project

General

Profile

« Previous | Next » 

Revision 9ffe52d4

ID9ffe52d441c76ad88c1039958d6e71ad3dd97400
Parent 57aa10c6
Child fe9e440d

Added by Katja Luther 6 months ago

ref #8797: navigator refreshes and opens the expanded elements after moving

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)