commit | 07c9deee6cccd2461df4c5751d02c94ad24851ac | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Tue Nov 14 09:55:20 2006 +0000 |
committer | david_williams <david_williams> | Tue Nov 14 09:55:20 2006 +0000 |
tree | 3196146a64de37ea5f2fcb61b5895f67b202eecd | |
parent | f06dd28d96b0bf7a54aeba5d21c66b9963cc84e0 [diff] |
[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode