search

buzz-lang / Buzz

A programming language designed for robot swarms.
MIT License
294 stars 61 forks source link

Now the editor reloads a file if it's modified outside the editor. #64

Closed ilpincy closed 6 years ago

ilpincy commented 6 years ago

This way, if one wants to use external (more powerful) editors, it's possible to do it.