| commit | c1b2ed803cfff90f7a4e778029dc423d8ba2514b | [log] [tgz] |
|---|---|---|
| author | mwenz <mwenz> | Thu Jul 22 15:00:33 2010 +0000 |
| committer | mwenz <mwenz> | Thu Jul 22 15:00:33 2010 +0000 |
| tree | 9796f8dc297fdb38268715aafde890aca83107f3 | |
| parent | a2213716d079d6fe26153ad1c07954708f4eb533 [diff] |
Fixed re-opening DiagramEditor at Eclipse startup