From 38c6e29cbf5ef2a307e63ffef614fc5f6356ce01 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Wed, 19 Jul 2017 14:29:45 +0200
Subject: [PATCH] remove webWorker outputs from request_for_comments

---
 app/views/request_for_comments/show.html.erb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/views/request_for_comments/show.html.erb b/app/views/request_for_comments/show.html.erb
index b28c1eb9..05e2249f 100644
--- a/app/views/request_for_comments/show.html.erb
+++ b/app/views/request_for_comments/show.html.erb
@@ -134,6 +134,7 @@ also, all settings from the rails model needed for the editor configuration in t
     currentEditor.setReadOnly(true);
     // set editor mode (used for syntax highlighting
     currentEditor.getSession().setMode($(editor).data('mode'));
+    currentEditor.getSession().setOption("useWorker", false);
 
     setAnnotations(currentEditor, $(editor).data('file-id'));
     currentEditor.on("guttermousedown", handleSidebarClick);