public RopeTextSource(Rope<char> rope) { if (rope == null) throw new ArgumentNullException("rope"); this.rope = rope.Clone(); }