From 007b31afd0f0d425521ea8093d7c7c5c48462e3d Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Mon, 27 Jan 2020 14:44:07 +0100
Subject: [PATCH] Re-enable RfC time limit

---
 app/assets/javascripts/editor/editor.js.erb | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 1d42bff3..0c6ad78d 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -15,9 +15,8 @@ var CodeOceanEditor = {
   ENTER_KEY_CODE: 13,
 
   //Request-For-Comments-Configuration
-  // TODO: Re-enable!
-  REQUEST_FOR_COMMENTS_DELAY: 0, // 3 * 60 * 1000,
-  REQUEST_TOOLTIP_TIME: 0, // 5000,
+  REQUEST_FOR_COMMENTS_DELAY: 3 * 60 * 1000,
+  REQUEST_TOOLTIP_TIME: 5000,
 
   editors: [],
   editor_for_file: new Map(),