1 files changed, 3 insertions, 0 deletions
diff --git a/src/UI.js b/src/UI.js
index 5003e21..b27b10b 100644
--- a/src/UI.js
+++ b/src/UI.js
@@ -4,3 +4,6 @@ export const _toJSON = (x) => JSON.stringify(x);
 export const _reload = () => {
     window.location.reload();
 };
+export const _redirect = (url) => () => {
+    window.location.href = url;
+};