From 74c92cd4602aca1b95320136104b9759c4ad5292 Mon Sep 17 00:00:00 2001
From: Anthony Dresser <andresse@microsoft.com>
Date: Thu, 2 May 2019 18:13:49 -0700
Subject: [PATCH] disable page scrolling in slickgrid (#5333)

---
 src/sql/base/browser/ui/table/table.ts   | 3 ++-
 src/typings/globals/slickgrid/index.d.ts | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/sql/base/browser/ui/table/table.ts b/src/sql/base/browser/ui/table/table.ts
index e7761c4f95..004a753573 100644
--- a/src/sql/base/browser/ui/table/table.ts
+++ b/src/sql/base/browser/ui/table/table.ts
@@ -24,7 +24,8 @@ import { range } from 'vs/base/common/arrays';
 function getDefaultOptions<T>(): Slick.GridOptions<T> {
 	return <Slick.GridOptions<T>>{
 		syncColumnCellResize: true,
-		enableColumnReorder: false
+		enableColumnReorder: false,
+		emulatePagingWhenScrolling: false
 	};
 }
 
diff --git a/src/typings/globals/slickgrid/index.d.ts b/src/typings/globals/slickgrid/index.d.ts
index 34d73a5cb3..16617e2c00 100644
--- a/src/typings/globals/slickgrid/index.d.ts
+++ b/src/typings/globals/slickgrid/index.d.ts
@@ -663,6 +663,11 @@ declare namespace Slick {
 		*
 		**/
 		topPanelHeight?: number;
+
+		/**
+		 * Page grid when navigating
+		 */
+		emulatePagingWhenScrolling?: boolean;
 	}
 
 	export interface DataProvider<T extends SlickData> {