switched to different version of AvalonEdit