use AvalonEdit to improve performance
add even more XML serialization attributes