From 6ba4282fd27bacacbf8482472a0519560720fb9c Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Thu, 26 Jan 2017 08:21:23 +0100 Subject: [PATCH] fix build --- src/vs/workbench/parts/html/browser/webview-pre.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/parts/html/browser/webview-pre.js b/src/vs/workbench/parts/html/browser/webview-pre.js index bcc0fd9fe68c6..2ff559bd3b0f6 100644 --- a/src/vs/workbench/parts/html/browser/webview-pre.js +++ b/src/vs/workbench/parts/html/browser/webview-pre.js @@ -15,7 +15,7 @@ function styleBody(body) { }; function getTarget() { - return document.getElementById('_target');; + return document.getElementById('_target'); }; const ipcRenderer = require('electron').ipcRenderer; @@ -130,7 +130,7 @@ document.addEventListener("DOMContentLoaded", function (event) { // workaround for https://github.com/Microsoft/vscode/issues/12865 // check new scrollTop and reset if neccessary - setTimeout(() => { + setTimeout(function () { if (scrollTop !== newFrame.contentDocument.body.scrollTop) { newFrame.contentDocument.body.scrollTop = scrollTop; }