From 308a6a1d4671002ce4f65c158f21dad8d7091579 Mon Sep 17 00:00:00 2001
From: Alexander Zobnin <alexanderzobnin@gmail.com>
Date: Tue, 1 Aug 2023 16:15:34 +0200
Subject: [PATCH] Problems: fix pagination, fixes #1649

---
 src/panel-triggers/ProblemsPanel.tsx | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/panel-triggers/ProblemsPanel.tsx b/src/panel-triggers/ProblemsPanel.tsx
index 0eb4eca..547e2a8 100644
--- a/src/panel-triggers/ProblemsPanel.tsx
+++ b/src/panel-triggers/ProblemsPanel.tsx
@@ -211,6 +211,10 @@ export const ProblemsPanel = (props: ProblemsPanelProps): JSX.Element => {
     }
   };
 
+  const onPageSizeChange = (pageSize: number, pageIndex?: number) => {
+    onOptionsChange({ ...options, pageSize });
+  };
+
   const onColumnResize = (newResized: RTResized) => {
     onOptionsChange({ ...options, resizedColumns: newResized });
   };
@@ -258,6 +262,7 @@ export const ProblemsPanel = (props: ProblemsPanelProps): JSX.Element => {
         onExecuteScript={onExecuteScript}
         onProblemAck={onProblemAck}
         onColumnResize={onColumnResize}
+        onPageSizeChange={onPageSizeChange}
         onTagClick={onTagClick}
       />
     );