[cedricvogel-leo]

Brings the IDE to glpython-editor v0.1.8. Merging deploys the IDE.

What v0.1.8 brings to the IDE

• Editor: a Monaco theme built from the --glp-* tokens. Light code surface, the course's syntax colours, print/type as plain names, True/None as values, no coloured brackets (editor MIT license and third-party notices #24).
• Error hints: short hints below common errors in the Run output, the REPL, the Tests report and the visualizer (Bump glpython-editor to v0.1.15 #22).
• Visualizer: calls with wrong arguments fail as in Python (Bump glpython-editor to v0.1.15 #22).
• As in CPython (Bump glpython-editor to v0.1.16 #23):
  • Run tracebacks without Pyodide internals, with the program's output before the traceback;
  • UnboundLocalError in the visualizer;
  • the safety-net changes from Bump glpython-editor to v0.1.14 #21: readable types (int instead of <class 'int'>), one column conversion.

Checked

• npm run build (tsc + vite) and npm run lint (nothing in src/).
• In the built preview:
  • the editor: background #F3F4F6, def #1F3A5F bold, print #1A1A1A, True #0F5F7A;
  • in English: the Run hint («Text and a number can't be joined with +.»), the REPL hint, and no hint for a syntax error.

🤖 Generated with Claude Code