equal
deleted
inserted
replaced
217 text: freetext, |
217 text: freetext, |
218 color: hexc, |
218 color: hexc, |
219 user : $scope.username |
219 user : $scope.username |
220 }; |
220 }; |
221 sock.send(JSON.stringify(new_annot)); |
221 sock.send(JSON.stringify(new_annot)); |
222 if(context.logging===true){ |
222 if(context.logging===true){ |
223 log('Sent: ' + JSON.stringify(new_annot)); |
223 log('Sent: ' + JSON.stringify(new_annot)); |
224 } |
224 } |
225 if(typeof c==='undefined'){ |
225 if(typeof c==='undefined'){ |
226 $scope.annotPile.push(false); |
226 $scope.annotPile.push(false); |
227 } |
227 } |