From 0f7072e4327c8095e85c1fdebc34219ca5ec1820 Mon Sep 17 00:00:00 2001
From: undefined <i@undefined.moe>
Date: Wed, 16 Nov 2022 15:02:11 +0800
Subject: [PATCH] ui: mount store to window

---
 packages/ui-default/pages/problem_detail.page.jsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/ui-default/pages/problem_detail.page.jsx b/packages/ui-default/pages/problem_detail.page.jsx
index ff201f8ae..5c02838d1 100644
--- a/packages/ui-default/pages/problem_detail.page.jsx
+++ b/packages/ui-default/pages/problem_detail.page.jsx
@@ -141,6 +141,7 @@ const page = new NamedPage(['problem_detail', 'contest_detail_problem', 'homewor
     const { default: ScratchpadReducer } = await import('../components/scratchpad/reducers');
     const { Provider, store } = await loadReactRedux(ScratchpadReducer);
 
+    window.store = store;
     const sock = new WebSocket(UiContext.ws_prefix + UiContext.pretestConnUrl);
     sock.onmessage = (message) => {
       const msg = JSON.parse(message.data);