ChangeOrientedProgrammingEnvironment/eclipseReplayer — pull request #7 by cdmihai (2014-01-23 00:52:35+00:00)
Title: Open editors on the fly

The replayer can now switch editors as things happen.

- Cleaned up EditorHelper
It was using complicated logic that just made things break. Rewrote most of the class.

- Removed dead code from the UserOperation hierarchy.