DefinitionPickerCategories

The Categories dropdown of the finder (definition-picker-library §DPLA-4, ruling 7).

Inherits QWidget
Group construct

In the namespace construct::ui. Declared in src/libs/libconstruct/construct/ui/DefinitionPickerCategories.hpp.

Detailed description

A QListView over a QStandardItemModel of checkable rows in two sections, the top families and the tags, each with its count, and a last row "Has errors". It replaced the "Mathematical" chip: the mathematical collections are ordinary family rows. The picker shows it in a QMenu through a QWidgetAction.