As suggested in #1066, it should be useful for some user to change the number of rows per page (default 100) in the data viewer.
It is allowed via https://www.ag-grid.com/angular-data-grid/row-pagination/#example-customising-pagination in the ag-grid API.
We could add a vscode setting (e.g. r.session.data.pageSize) for this.
As suggested in #1066, it should be useful for some user to change the number of rows per page (default 100) in the data viewer.
It is allowed via https://www.ag-grid.com/angular-data-grid/row-pagination/#example-customising-pagination in the ag-grid API.
We could add a vscode setting (e.g.
r.session.data.pageSize) for this.