From f5ded7ad81f011cb6be71df5ba57c7bc8ddba264 Mon Sep 17 00:00:00 2001 From: Joost Kaptein Date: Fri, 4 Oct 2024 11:52:32 +0200 Subject: [PATCH] remove unused api version --- src/AgGrid.fs | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/src/AgGrid.fs b/src/AgGrid.fs index e8b136c..04a0c21 100644 --- a/src/AgGrid.fs +++ b/src/AgGrid.fs @@ -754,17 +754,6 @@ type AgGrid<'row> = | BuiltIn of BuiltInMenuItem | Custom of MenuItemDef - /// See https://www.ag-grid.com/react-data-grid/grid-interface/#grid-api. - [] - type IGridApi<'row> = - abstract copyToClipboard: unit -> unit - abstract pasteFromClipboard: unit -> unit - abstract refreshCells: unit -> unit - abstract redrawRows: unit -> unit - abstract setGridOption: string -> obj -> unit - abstract getSelectedNodes: unit -> IRowNode<'row>[] - abstract getCellRanges: unit -> ICellRange[] - [] type ColumnDef<'row> = static member inline filter(v: RowFilter) = columnDefProp<'row, 'value> ("filter" ==> v.FilterText) @@ -798,4 +787,4 @@ type AgGrid<'row> = | BuiltIn builtInItemName -> box builtInItemName.BuiltInMenuItemText | Custom customMenuItem -> box customMenuItem |] - ) + ) \ No newline at end of file