tree 8a6d82b73295606e481a9812dd8fd4238a967dfa
parent bc980466461a8626c544ba4a156de423079a970f
author amywu <amywu> 1153888007 +0000
committer amywu <amywu> 1153888007 +0000

[151069] StructuredDocument is not reloaded on ResourceChangedEvent