adds pagination option

packages/builder/src/components/userInterface/temporaryPanelStructure.js

@@ -352,6 +352,12 @@ export default {
                 defaultValue: "500",
                 control: Input
               },
+              {
+                label: "Pagination",
+                key: "pagination",
+                valueKey: "checked",
+                control: Checkbox,
+              },
             ],
           },
           children: [],

packages/standard-components/components.json

@@ -238,7 +238,8 @@
 					"material"
 				]
 			},
-			"height": "number"
+			"height": "number",
+			"pagination": "bool"
 		}
 	},
 	"dataform": {

packages/standard-components/src/DataGrid/Component.svelte

@@ -19,6 +19,7 @@
   export let editable
   export let theme = 'alpine'
   export let height;
+  export let pagination
 
   let dataLoaded = false
   let data
@@ -33,6 +34,8 @@
     },
     rowSelection: editable ? "multiple" : false,
     suppressRowClickSelection: !editable,
+    paginationAutoPageSize: true,
+    pagination
   }
 
   onMount(async () => {