jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

feat: sort the `+/-` column properly #55

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

Implement custom sorting for the diff size column, by adding a custom data type.

To do so, we implement a custom sorting function for this column, by adding a custom data type for it. To facilitate this, the datatables version was upgraded to version 2 (in a previous commit).

See e.g. https://datatables.net/reference/option/columns.type and https://datatables.net/reference/type/DataTables.Type for information about custom data table types.

Fixes #13.