| commit | 61c7e9217a65713936305ce151513ca8d6a22734 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Aug 15 14:06:37 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Aug 15 14:06:37 2010 +0000 |
| tree | 5aa71dea0015eb67b2c2e453c612768b984039fb | |
| parent | 6ba1e38da32f994cf7f2e3997e666a8b601a7634 [diff] |
Fix restoring callin handle from memento for named callin:
- failing to consume a separator char caused this char to be used as a method selector
=> callin marker menu had broken entries (wrong label, could not navigate)
Witness: several callins from OTTypeHierarchies.. to TypeHierarchy