List of changes:
- [NEW] Zoom in on the bot by scrolling with the mouse
- [NEW] Shortcuts for aborting if script is running: CTRL+C and Alt/Shift+Enter
- [NEW] Different cursor when hovering the text area
- [NEW] Allow uppercase letters in commands
- [CHANGE] TextEditor's caret now has a more fitting look for non-numbers
- [REMOVE] Shortcut to exit game when pressing escape in the MainMenu
- [FIX] Number context menu for whole numbers crashing
- [FIX] "hook up ..." command not having any effect
- [FIX] Invalid lines being executed but not counted
- [FIX] Small desync between leaderboard time and actual finish time
- [FIX] Rare rendering errors with Introbot
- [FIX] Introbot getting stuck on Basic2
Cheers, Lele