search

JdeRobot / RoboticsAcademy

Learn Robotics with JdeRobot
https://jderobot.github.io/RoboticsAcademy
GNU General Public License v3.0
317 stars 223 forks source link

Adding Monaco editor #2830

Closed javizqh closed 2 weeks ago

javizqh commented 2 weeks ago

Adding Monaco editor. Old PR: https://github.com/JdeRobot/RoboticsAcademy/pull/2829.