Wave's edits can be inverted, and yes this property is used in various places, not just history/playback. =)
On Thu, Dec 3, 2009 at 6:53 AM, Torben Weis <[email protected]> wrote: > It seems that the operations are designed to support "undo". > Thus, the operation deleteCharacters("foo") can be undone while > deleteCharacters(3) can (by itself) not be undone. > > You fill find the same pattern in the operations which change annotations > and attributes. > I suppose that this fits nicely into wave's feature of wave playback. > > Greetings > Torben > > > 2009/12/2 Daniel Paull <[email protected]> > > The point was that deleteCharacters() should specify a range, so in >> the case of wave, it should be deleteCharacters( int numChars ), >> deleteCharacters( string str ). Notice that retain() does not take a >> string. >> >> > -- > You received this message because you are subscribed to the Google Groups > "Wave Protocol" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]<wave-protocol%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/wave-protocol?hl=en. > -- Brett Morgan http://domesticmouse.livejournal.com/ -- You received this message because you are subscribed to the Google Groups "Wave Protocol" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/wave-protocol?hl=en.
