テキストエディタの共同編集機能はどのように実装されているのか