如何在 HoloViz Panel Tabulator 小部件中配置 header 过滤器?

How to configure header filters in a HoloViz Panel Tabulator widget?

我正在使用 Panel from HoloViz to create a dashboard web application. I am using Panel's Tabulator widget to display a table of records. Panel's Tabulator widget is based on the Tabulator javascript 库。

我想添加一个 header filter 到我的 Panel Tabulator 小部件,类似于下图所示。它是一个文本框,可让您过滤 table 记录,并显示为 table 列 headers.

的一部分

我在 Panel 参考文档中没有看到此功能的提及。有办法完成吗?

对于分叉 Tabulator 的“面板”开发人员来说,这似乎更像是一个问题?在“纯”制表符中,列定义有一个 headerFilter 参数来添加各种 headerFilter