server sends message_ids_processed to client as an array, not as a dict
acknowledge a message as being processed multiple times, just to be safe
made white border around pin endpoints slightly smaller
working on coloring pins based on their ID mod 5
in ng-repeat i had been using (id, pin) as if visible_sensors, etc were all dictionaries mapping pin id to pin object. but these are lists, so what i thought was the ID was actually just the list index. luckily in every case where pin ID needed to be used for setting attributes i was using pin.id, which was correct, but yeah this was a bug. so now ng-repeat just says for pin in visible_sensors, etc
merging in master
iterate over visible_actuators as a list. it is not a dict. also color the pins in play mode based on their ID % 5, so that different pins get different colors but the same pin always gets the same color