real time erlang editor