commit | bb7fd67c23c10cd22f9c067ecce945519427ff21 | [log] [tgz] |
---|---|---|
author | Bianca Wiesmayr <bianca.wiesmayr@jku.at> | Tue Mar 30 11:32:32 2021 +0200 |
committer | Alois Zoitl <alois.zoitl@gmx.at> | Sat Apr 03 07:59:44 2021 -0400 |
tree | b4fc69370741ed0552a897019a858509ced24f9a | |
parent | 5c08dcdad018396e5530806e6258bc5e2e1de36b [diff] |
[572448] renaming dtp files updates editor title renaming in the tree (or workspace) now correctly refreshes editor title, saving changes will correctly update the new renamed file Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=572448 Change-Id: Ibfd1a0fef9e89259878b253d1058e7c3d38dd6ea Signed-off-by: Bianca Wiesmayr <bianca.wiesmayr@jku.at>