commit | 0fa03b9408b1f55bc2dd17a7c7608241a5dbb6cb | [log] [tgz] |
---|---|---|
author | Alex Lagarde <alex.lagarde@obeo.fr> | Mon Feb 24 17:37:47 2014 +0100 |
committer | Alex Lagarde <alex.lagarde@obeo.fr> | Tue Feb 25 16:12:14 2014 +0100 |
tree | 48513cb28c8f1b0eb2e0f315ad0556ae667a924e | |
parent | fa9c44f93ea73a2367b3b5ae7e3a5c9a814569d5 [diff] |
[bugzilla 411217] Make the WorkspaceSession able to identify external modifications (e.g. git reset), so that external changes can be taken into account inside editor editors & clients Also add the corresponding test