HTML Widgets; Grids; Now allows the Export File Name to be defined

By default, right-clicking a widget.UI.Grid and selecting to export it's data (or calling the grid's ExportData() method) would create an export file name of "GridData". This file extension would vary based upon the export type selected, e.g., "GridData.csv".

A new creation option allows this to be customised, e.g.:

  C.gridMonitoredAccountsA = widget.UI.Grid("gridMonitoredAccountsA", {
    docked: true,
    exportFileName: "MonitoredAccountsA",
  });

Or, it can be updated on-the-fly, e.g.:

C.gridMonitoredAccountsA.ExportFileName("MyMonitoredAccounts");

The HTML Widget help has been updated to document these changes.