Closed AlexanderKeijzer closed 3 years ago
Also, this does not yet solve #133, right?
Nope, it does not solve #133. The GUI does launch differently with no_gui on but it's not really a no GUI mode. Not sure if webots really supports it or if it's really this broken.
That merge commit also includes the fix for you other comment
Fixes #134