| commit | f9e5e797c9688f80270aeea9bb19b6f0ec4b847e | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Tue Nov 14 21:21:49 2006 +0000 |
| committer | david_williams <david_williams> | Tue Nov 14 21:21:49 2006 +0000 |
| tree | 2df978d9b6a5a0a6cb71069ecb0490c2dbcea7a3 | |
| parent | 590375cfa24240776a970b1e14effafc6009182b [diff] |
[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode