From 6fbb5b3b1a949070922a1f316e5c03243965dc09 Mon Sep 17 00:00:00 2001 From: Sebastian Serth Date: Mon, 27 Jan 2020 14:43:31 +0100 Subject: [PATCH] Allow direct RfC creation. --- app/assets/javascripts/editor/editor.js.erb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb index 0c6ad78d..1d42bff3 100644 --- a/app/assets/javascripts/editor/editor.js.erb +++ b/app/assets/javascripts/editor/editor.js.erb @@ -15,8 +15,9 @@ var CodeOceanEditor = { ENTER_KEY_CODE: 13, //Request-For-Comments-Configuration - REQUEST_FOR_COMMENTS_DELAY: 3 * 60 * 1000, - REQUEST_TOOLTIP_TIME: 5000, + // TODO: Re-enable! + REQUEST_FOR_COMMENTS_DELAY: 0, // 3 * 60 * 1000, + REQUEST_TOOLTIP_TIME: 0, // 5000, editors: [], editor_for_file: new Map(),