From c2df5dc01cc2097b19ffaa35a3d3478a837ac3ea Mon Sep 17 00:00:00 2001
From: Paulo Reis <paulojreis@gmail.com>
Date: Mon, 3 Apr 2017 16:25:22 +0100
Subject: [PATCH] Apply Chrome's accent input workaround in Safari version
 10.1.

---
 services/web/public/js/ace-1.2.5/ace.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/services/web/public/js/ace-1.2.5/ace.js b/services/web/public/js/ace-1.2.5/ace.js
index dcac19be31..1a030a42b4 100644
--- a/services/web/public/js/ace-1.2.5/ace.js
+++ b/services/web/public/js/ace-1.2.5/ace.js
@@ -2292,7 +2292,7 @@ var TextInput = function(parentNode, host) {
         }
         // WORKAROUND: Accent keys and Korean keys don't work in Chrome >53.
         // https://github.com/ajaxorg/ace/issues/3045
-        if (useragent.isChrome >= 53) onInput();
+        if (useragent.isChrome >= 53 || useragent.isSafari >= 10.1) onInput();
     };