Now that I think again about this, it doesn't seem like a good idea because the selection will update very late if long stretches of edits happen (case in point - move the mouse wheel in the font size selector).

Perhaps we could also add a timeout for the font size picker so that it doesn't fire so many quick operations.

But then I remembered that even doing that wouldn't be enough. We may get a lot of quick operations (think replay), or just a lot of users typing at once, or even pulling streaks of operations from the server in batches. It won't look good I think. :/