tree d21e15227a18493a5c3150d048811b6c9472be1d
parent 81da0d1299ae7ee2175386b208b3888fcc5d7964
author amywu <amywu> 1153888355 +0000
committer amywu <amywu> 1153888355 +0000

[151069] StructuredDocument is not reloaded on ResourceChangedEvent