Perform peer de-select client side after applying operations

Qirky · Feb 6, 2019 · fd5691f · fd5691f
1 parent 6992ed4
commit fd5691f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/interface/peer.py b/src/interface/peer.py
@@ -143,6 +143,7 @@ def remove(self, start, end):
         return
 
     def clear(self):
+        """ Removes the Tk text tag from the document """
         self.text.tag_remove(self.tag, "1.0", Tk.END)
         return
 

diff --git a/src/interface/textbox.py b/src/interface/textbox.py
@@ -161,6 +161,8 @@ def apply_operation(self, operation, peer=None, undo=False):
 
             self.insert_peer_id(peer, operation.ops)
 
+            peer.de_select()
+
             # -- new
 
             self.refresh()
-Original file line number
+Diff line change
@@ Expand Up / @@ -143,6 +143,7 @@ def remove(self, start, end): @@
             return
         def clear(self):
+            """ Removes the Tk text tag from the document """
             self.text.tag_remove(self.tag, "1.0", Tk.END)
             return
@@ Expand Down @@