From 9b3a28048e62e8c560d6843950254ecebfef5785 Mon Sep 17 00:00:00 2001
From: Paulo Reis <paulojreis@gmail.com>
Date: Fri, 29 Jul 2016 17:24:55 +0100
Subject: [PATCH] Integrate Safari scroll patcher.

---
 services/web/public/coffee/ide.coffee | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/services/web/public/coffee/ide.coffee b/services/web/public/coffee/ide.coffee
index 4c75ab5d77..d22ec949fb 100644
--- a/services/web/public/coffee/ide.coffee
+++ b/services/web/public/coffee/ide.coffee
@@ -9,6 +9,7 @@ define [
 	"ide/pdf/PdfManager"
 	"ide/binary-files/BinaryFilesManager"
 	"ide/references/ReferencesManager"
+	"ide/SafariScrollPatcher"
 	"ide/settings/index"
 	"ide/share/index"
 	"ide/chat/index"
@@ -40,6 +41,7 @@ define [
 	PdfManager
 	BinaryFilesManager
 	ReferencesManager
+	SafariScrollPatcher
 ) ->
 
 	App.controller "IdeController", ($scope, $timeout, ide, localStorage, event_tracking) ->
@@ -135,6 +137,9 @@ define [
 		catch err
 			console.error err
 
+		if ide.browserIsSafari
+			ide.safariScrollPatcher = new SafariScrollPatcher(ide, $scope)
+
 		# User can append ?ft=somefeature to url to activate a feature toggle
 		ide.featureToggle = location?.search?.match(/^\?ft=(\w+)$/)?[1]