Как настроить фильтры заголовков в виджете табулятора панели ГолоВиз?

#python #tabulator #holoviz #holoviz-panel

Вопрос:

Я использую панель из Головиза для создания веб-приложения панели мониторинга. Я использую виджет табулятора панели для отображения таблицы записей. Виджет табулятора панели основан на библиотеке javascript табулятора.

Я хотел бы добавить фильтр заголовков в виджет табулятора панели, аналогичный изображенному ниже. Это текстовое поле, которое позволяет фильтровать записи таблицы и отображается как часть заголовков столбцов таблицы.

Таблица-табулятор с выделенным фильтром заголовка

Я не видел упоминания об этой функции в справочных документах панели. Есть ли способ сделать это?

Ответ №1:

это больше похоже на вопрос для разработчиков «Панели», у которых есть разветвленный табулятор ? в «чистом» табуляторе определение столбца содержит параметр headerFilter для добавления всех видов headerFilter