IDE and text editor plugins #3

Activity

1. pkill37 commented on Mar 12, 2019

   

   pkill37

   on Mar 12, 2019

   MemberAuthor

   More actions

   For this to actually be useful in a teaching scenario, we need to stream code as it is written, not on save. This requires hooking into text editors to trigger the streaming on key press or something like that. I might be willing to write a Vim plugin.