Add pick_operation to sync with client

2022-10-24 21:52:35 +08:00
parent 5597d3afd0
commit 8cfd22e17d
3 changed files with 14 additions and 7 deletions
--- a/api/init.py
+++ b/api/init.py
@@ -9,7 +9,7 @@ from .operation import ChangeSet
 from .operation import get_current_operation
 from .operation import execute_undo, execute_redo
 from .operation import have_snapshot, take_snapshot, pick_snapshot
-from .operation import sync_with_server
+from .operation import pick_operation, sync_with_server

 from .command import execute_batch_commands