| commit | 7f37ec7cb9729db5ef8db83fdb2cf684c3155dcb | |
| author | Thomas Wolf <thomas.wolf@paranor.ch> | |
| Mon, 10 Sep 2018 07:58:45 +0000 (10 09:58 +0200) | ||
| committer | Matthias Sohn <matthias.sohn@sap.com> | |
| Mon, 10 Sep 2018 19:44:27 +0000 (10 21:44 +0200) | ||
| tree | f6fd54191e15cfc1684afdd5a0c24ed6f3bf6103 | treesnapshot (tar.gz zip) |
| parent | 1d36a956728021cc6a8eb00e095fb710a4a0fe37 | commitdiff |
Don't auto-refresh projects with missing .project file
Doing so results in a ResourceException. Auto-closing such projects
doesn't seem to be right; it would remain closed after the .project
file re-appeared due to some other git operation. Not refreshing
appears to be the best bet in this case.
Bug: 538846
Change-Id: Icf01ec0f467bbcc5f7b13ab3b5914779c16b8a2a
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Doing so results in a ResourceException. Auto-closing such projects
doesn't seem to be right; it would remain closed after the .project
file re-appeared due to some other git operation. Not refreshing
appears to be the best bet in this case.
Bug: 538846
Change-Id: Icf01ec0f467bbcc5f7b13ab3b5914779c16b8a2a
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
| org.eclipse.egit.ui/src/org/eclipse/egit/ui/Activator.java | diffblobblamehistory |