|
@@ -50,7 +50,7 @@ export interface TableProps<RecordType extends Record<string, any> = any> extend
|
|
id?: string;
|
|
id?: string;
|
|
indentSize?: number;
|
|
indentSize?: number;
|
|
loading?: boolean;
|
|
loading?: boolean;
|
|
- pagination?: Pagination;
|
|
|
|
|
|
+ pagination?: TablePagination;
|
|
prefixCls?: string;
|
|
prefixCls?: string;
|
|
renderGroupSection?: RenderGroupSection;
|
|
renderGroupSection?: RenderGroupSection;
|
|
renderPagination?: RenderPagination;
|
|
renderPagination?: RenderPagination;
|
|
@@ -250,6 +250,7 @@ export type Size = ArrayElement<typeof strings.SIZES>;
|
|
export type Title<RecordType> = React.ReactNode | ((pageData?: RecordType[]) => React.ReactNode);
|
|
export type Title<RecordType> = React.ReactNode | ((pageData?: RecordType[]) => React.ReactNode);
|
|
export type PaginationPosition = ArrayElement<typeof strings.PAGINATION_POSITIONS>;
|
|
export type PaginationPosition = ArrayElement<typeof strings.PAGINATION_POSITIONS>;
|
|
export type Pagination = TablePaginationProps | boolean;
|
|
export type Pagination = TablePaginationProps | boolean;
|
|
|
|
+export type TablePagination = Pagination;
|
|
export interface ChangeInfoFilter<RecordType> extends BaseChangeInfoFilter<RecordType> {
|
|
export interface ChangeInfoFilter<RecordType> extends BaseChangeInfoFilter<RecordType> {
|
|
filters?: Filter[];
|
|
filters?: Filter[];
|
|
onFilter?: OnFilter<RecordType>;
|
|
onFilter?: OnFilter<RecordType>;
|