firebase/firepad — pull request #72 by jainp (2013-11-15 00:39:26+00:00)
Title: wrapped a codemirror op around each TextOp execution of a TextOperation

This fixes bugs when both an attribute change and an insertion/deletion happen within the same TextOperation.