buzz-lang / Buzz

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

Add option to show (or not) the live buzz editor #85

Closed lajoiepy closed 3 years ago

lajoiepy commented 3 years ago

This modification adds an option to define show_buzz_editor in the .argos configuration file to show/hide the editor. This solves an issue I encountered when using an X server on Windows to run an ARGoS simulation. The X server could only show one application window at a time and it was the Buzz Editor. By setting show_buzz_editor to false, the editor is hidden and the simulation is shown properly. The new show_buzz_editor option is not mandatory so I believe this fix should not affect the compatibility with previous .argos config files. The default behavior is also unchanged.

ilpincy commented 3 years ago

Thank you, it's very useful!