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(),