commit | a00b96c6619288ec9d5b8878ce4c112d591fb9c1 | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Tue Nov 14 09:42:22 2006 +0000 |
committer | david_williams <david_williams> | Tue Nov 14 09:42:22 2006 +0000 |
tree | 3c1b9788b2a89d4fc98ad2348af7c577b082404e | |
parent | 77457fdf4e0cf5c32ef0d135be7cb1c6ad8b43e6 [diff] |
[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode