tree 5cf07c475a6e615151128997564ab21bedfda638
parent 2017181cd1828e4f703d9e081daaeb2073e5f269
author amywu <amywu> 1153888397 +0000
committer amywu <amywu> 1153888397 +0000

[151069] StructuredDocument is not reloaded on ResourceChangedEvent