commit | 26ba36a8af9c440776ca5bdc11f8f4610bad37fc | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Tue Nov 14 21:19:03 2006 +0000 |
committer | david_williams <david_williams> | Tue Nov 14 21:19:03 2006 +0000 |
tree | 33ca64ab5a05389fd5406340595b133ec424a469 | |
parent | a75d0d55fdda08f8fdfa23dd3c3b18c12513e589 [diff] |
[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode