josephg/ShareJS — comment on commit 75e5c5a6eb98b6504471bf48e5c8d7de5e51ab57
File: src/types/text.coffee line 25
By josephg:

Quite right.