Commits in +kdevelop-developers/kdevelop/devel-kdevplatform:undo-after-close-reopen