From b0fa6425349cba950822c71a32dc611e79a4fab6 Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Mon, 23 Jan 2017 14:53:57 +0100 Subject: [PATCH] Do not use FastRenderedViewLine on Firefox on Windows7 --- src/vs/editor/browser/viewParts/lines/viewLine.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/vs/editor/browser/viewParts/lines/viewLine.ts b/src/vs/editor/browser/viewParts/lines/viewLine.ts index 20b5b246df2..1652eb2b42a 100644 --- a/src/vs/editor/browser/viewParts/lines/viewLine.ts +++ b/src/vs/editor/browser/viewParts/lines/viewLine.ts @@ -24,7 +24,7 @@ const canUseFastRenderedViewLine = (function () { return true; } - if (platform.isLinux) { + if (platform.isLinux || browser.isFirefox) { // On Linux, it appears that zooming affects char widths (in pixels), which is unexpected. // -- // Even though we read character widths correctly, having read them at a specific zoom level @@ -32,6 +32,8 @@ const canUseFastRenderedViewLine = (function () { // -- // This could be improved if we ever figure out how to get an event when browsers zoom, // but until then we have to stick with reading client rects. + // -- + // The same has been observed with Firefox on Windows7 return false; } -- GitLab