drop edit
streaming data from agda to panel