The theme will change to the default light theme after reloading repl.
Theme should remain the same.
Theme changes to default light theme when reloading repl.
Steps to reproduce:
- Choose any theme
- Go into any repl and reload it
- Theme will change to default light theme
Changing system or browser theme does not seem to affect this.