Update app.py

app.py

@@ -695,6 +695,61 @@ async def exe(websocket,connected,key):
                     'file':event["file"],
             'content': event["content"],
                     'color':event["color"]
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="cursor":
+                
+                event = {
+                "type": "cursor",
+                'offset': event["offset"],
+            
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="select":
+                
+                event = {
+                "type": "select",
+                'id': event["id"],
+            'startOffset': event["startOffset"],
+                    'endOffset': event["endOffset"],
+                   
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="addselection":
+                
+                event = {
+                "type": "addselection",
+                'sourceUser': event["sourceUser"],
+            
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="insert":
+                
+                event = {
+                "type": "insert",
+                'index': event["index"],
+            'text': event["text"],
+                   
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="replace":
+                
+                event = {
+                "type": "replace",
+                'index': event["index"],
+            'length': event["length"],
+                    'text': event["text"],
+                  
+            }
+                websockets.broadcast(connected, json.dumps(event))
+            elif event["command"]["type"]=="edelelte":
+                
+                event = {
+                "type": "edelelte",
+                'index': event["index"],
+            'length': event["length"],
+                    
+                  
             }
                 websockets.broadcast(connected, json.dumps(event))