| commit | ef8d86dc3cb85777c120e0ee4dd1b855374989f3 | [log] [tgz] |
|---|---|---|
| author | Pierre-Charles David <pierre-charles.david@obeo.fr> | Thu Sep 01 11:13:59 2016 +0200 |
| committer | Stephane Begaudeau <stephane.begaudeau@obeo.fr> | Fri Sep 02 05:36:55 2016 -0400 |
| tree | 2537235e10ff85bde92b7b676c743b6f1c2e22e1 | |
| parent | 0bbedc6e7461d45d423fdc563e69149e9828471a [diff] |
Use a more discriminant TabDescriptor#getId() Using only the EObject's URI is not enough, as proxies or "equivalent" EObject coming from different resource sets can have the same URI but still be different. Use System.identityHashCode() as an additional, low-cost criterion. Change-Id: Id28fcaa58e46c8650a2caecae1a4e9cb2e8e0631 Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>