<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">On 11 Oct 2019, at 17:35, mocenigo wrote:</p>
</div>
<div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">I am not sure that it has anything to do with large files.</p>
</blockquote></div>
<div style="white-space:normal">
<p dir="auto">From the reports, it sounds more like a macOS 10.15 issue.</p>
<p dir="auto">Is anyone <em>not</em> on macOS 10.15 seeing this?</p>
<p dir="auto">The gutter and main text are actually two different scroll views with different code, the former being much simpler, so seeing gutter is also affected by this issue, it very much sounds like a bug that only Apple can fix.</p>
</div>
</div>
</body>
</html>