judge: key check report

packages/ui-default/components/monaco/languages/yaml.ts

@@ -37,6 +37,7 @@ const problemConfigSchema = {
   type: 'object',
   def: problemConfigSchemaDef,
   properties: {
+    redirect: { type: 'string', pattern: '[0-9a-z_-]+\\/[0-9]+' },
     key: { type: 'string', pattern: '[0-9a-f]{32}' },
     type: { enum: ['default', 'interactive', 'submit_answer', 'objective', 'remote_judge'] },
     subType: { type: 'string' },

packages/ui-default/jsconfig.json

@@ -5,7 +5,7 @@
   "compilerOptions": {
     "jsx": "react",
     "allowSyntheticDefaultImports": true,
-    "target": "ES6",
+    "target": "ES2020",
     "baseUrl": ".",
     "moduleResolution": "node",
     "paths": {

packages/ui-default/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hydrooj/ui-default",
-  "version": "4.22.2",
+  "version": "4.22.3",
   "author": "undefined <i@undefined.moe>",
   "license": "AGPL-3.0",
   "main": "hydro.js",

packages/ui-default/pages/home_messages.page.jsx

@@ -39,16 +39,20 @@ const page = new NamedPage('home_messages', () => {
         type: 'DIALOGUES_MESSAGE_PUSH',
         payload: msg,
       });
-      new VjNotification({
+      const notification = new VjNotification({
         title: msg.udoc.uname,
         avatar: msg.udoc.avatarUrl,
         message: msg.mdoc.content,
         duration: 15000,
-        action: () => store.dispatch({
-          type: 'DIALOGUES_SWITCH_TO',
-          payload: msg.udoc._id,
-        }),
-      }).show();
+        action: () => {
+          store.dispatch({
+            type: 'DIALOGUES_SWITCH_TO',
+            payload: msg.udoc._id,
+          });
+          notification.hide();
+        },
+      });
+      notification.show();
     };
 
     const userSelector = UserSelectAutoComplete.getOrConstruct($('.dialog__body--user-select [name="user"]'));