Sign in
eclipse
/
gerrit
/
emf-parsley
/
org.eclipse.emf-parsley
/
refs/heads/menus
/
.
/
plugins
/
org.eclipse.emf.parsley.common
/
src
/
org
/
eclipse
/
emf
/
parsley
/
edit
tree: 7a674927007767dcc317a6b1d5d564d9cf1c7e5e [
path history
]
[
tgz
]
action/
actionbar/
domain/
provider/
ui/
EditCommand.java
EditingDomainFinder.java
IEditingStrategy.java
NotificationBuffer.java
OnTheFlyEditingStrategy.java
ResourceSaveManager.java
TextUndoRedo.java
UndoableEditingStrategy.java
ValidateResourceSaveManager.java