Property sheet changes cause editor to refresh per #527