Using the JSON type or the text0 type, operations are invertable -
which means that if you have an operation deleting some characters,
you can invert the operation and re-apply it to put the characters
back.
The API that the client exposes doesn't provide time slider
functionality, but it would be pretty easy to add. The backend exposes
a getOps API which needs to be plumbed through to the client. To go
backwards, just invert&apply. To go forward, apply. The hard thing is
weaving that through the doc class - obviously you don't want to
actually submit those operations to the server or you'll reverse time
for everyone.
-J
> --
> You received this message because you are subscribed to the Google Groups
> "ShareJS" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
sharejs+u...@googlegroups.com.
> For more options, visit
https://groups.google.com/groups/opt_out.
>
>