Update playground_editor: add "theme" option