From e26eda57540e779f762fff35bde824c85b4cdca4 Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Tue, 11 Oct 2016 11:34:33 +0100 Subject: [PATCH] Update regex to grab Chrome version. --- services/web/public/js/ace-1.2.5/ace.js | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) 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 713f82c218..aeef9f6a85 100644 --- a/services/web/public/js/ace-1.2.5/ace.js +++ b/services/web/public/js/ace-1.2.5/ace.js @@ -34,16 +34,7 @@ * @param payload a function to call with (require, exports, module) params */ -// WORKAROUND: Accent keys and Korean keys don't work in Chrome >53. -// https://github.com/ajaxorg/ace/issues/3045 -var isChrome53PlusMatched = navigator.userAgent.match(/Chrome\/(.*?)(.|\s+|$)/); -var isChrome53Plus = false; -if (isChrome53PlusMatched) { - isChrome53Plus = isChrome53PlusMatched[1] >= 53; -} - (function() { - var ACE_NAMESPACE = "ace"; var global = (function() { return this; })(); @@ -1927,6 +1918,11 @@ var lang = require("../lib/lang"); var BROKEN_SETDATA = useragent.isChrome < 18; var USE_IE_MIME_TYPE = useragent.isIE; +// WORKAROUND: Accent keys and Korean keys don't work in Chrome >53. +// https://github.com/ajaxorg/ace/issues/3045 +var chromeVersion = navigator.userAgent.match(/Chrome\/(\d*)/)[1]; +var isChrome53Plus = (chromeVersion >= 53); + var TextInput = function(parentNode, host) { var text = dom.createElement("textarea"); text.className = "ace_text-input";