From 179c8a7e38eec947cdab8d5f3efb895f96573148 Mon Sep 17 00:00:00 2001
From: Petr Stefan <ptr.stef@gmail.com>
Date: Thu, 30 Nov 2017 23:11:20 +0100
Subject: [PATCH] Add more standard judges

---
 .../EditExerciseSimpleConfigTest.js           | 73 ++++++++++++++++++-
 1 file changed, 70 insertions(+), 3 deletions(-)

diff --git a/src/components/forms/EditExerciseSimpleConfigForm/EditExerciseSimpleConfigTest.js b/src/components/forms/EditExerciseSimpleConfigForm/EditExerciseSimpleConfigTest.js
index ae517f0fa..ecfd2637a 100644
--- a/src/components/forms/EditExerciseSimpleConfigForm/EditExerciseSimpleConfigTest.js
+++ b/src/components/forms/EditExerciseSimpleConfigForm/EditExerciseSimpleConfigTest.js
@@ -2,7 +2,7 @@ import React from 'react';
 import PropTypes from 'prop-types';
 import { Field } from 'redux-form';
 import { Row, Col } from 'react-bootstrap';
-import { FormattedMessage, injectIntl } from 'react-intl';
+import { FormattedMessage, injectIntl, defineMessages } from 'react-intl';
 
 import {
   SelectField,
@@ -12,6 +12,45 @@ import {
   CheckboxField
 } from '../Fields';
 
+const messages = defineMessages({
+  normal: {
+    id: 'recodex-judge-normal',
+    defaultMessage: 'Normal judge'
+  },
+  float: {
+    id: 'recodex-judge-float',
+    defaultMessage: 'Floating point judge'
+  },
+  normalNewline: {
+    id: 'recodex-judge-normal-newline',
+    defaultMessage: 'Normal judge ignoring newlines'
+  },
+  floatNewline: {
+    id: 'recodex-judge-float-newline',
+    defaultMessage: 'Floating judge ignoring newlines'
+  },
+  shuffle: {
+    id: 'recodex-judge-shuffle',
+    defaultMessage: 'Shuffle judge'
+  },
+  shuffleRows: {
+    id: 'recodex-judge-shuffle-rows',
+    defaultMessage: 'Shuffle judge ignoring rows'
+  },
+  shuffleAll: {
+    id: 'recodex-judge-shuffle-all',
+    defaultMessage: 'Shuffle judge ignoring all'
+  },
+  shuffleNewline: {
+    id: 'recodex-judge-shuffle-newline',
+    defaultMessage: 'Shuffle judge ignoring newlines'
+  },
+  diff: {
+    id: 'diff',
+    defaultMessage: 'Diff'
+  }
+});
+
 const EditExerciseSimpleConfigTest = ({
   fields,
   prefix,
@@ -181,11 +220,39 @@ const EditExerciseSimpleConfigTest = ({
                       { key: '', name: '...' },
                       {
                         key: 'recodex-judge-normal',
-                        name: 'recodex-judge-normal'
+                        name: intl.formatMessage(messages.normal)
+                      },
+                      {
+                        key: 'recodex-judge-float',
+                        name: intl.formatMessage(messages.float)
+                      },
+                      {
+                        key: 'recodex-judge-normal-newline',
+                        name: intl.formatMessage(messages.normalNewline)
+                      },
+                      {
+                        key: 'recodex-judge-float-newline',
+                        name: intl.formatMessage(messages.floatNewline)
                       },
                       {
                         key: 'recodex-judge-shuffle',
-                        name: 'recodex-judge-shuffle'
+                        name: intl.formatMessage(messages.shuffle)
+                      },
+                      {
+                        key: 'recodex-judge-shuffle-rows',
+                        name: intl.formatMessage(messages.shuffleRows)
+                      },
+                      {
+                        key: 'recodex-judge-shuffle-all',
+                        name: intl.formatMessage(messages.shuffleAll)
+                      },
+                      {
+                        key: 'recodex-judge-shuffle-newline',
+                        name: intl.formatMessage(messages.shuffleNewline)
+                      },
+                      {
+                        key: 'diff',
+                        name: intl.formatMessage(messages.diff)
                       }
                     ]}
                     label={