[gtk: 5/5] Merge branch 'selection-filter' into 'master'

[Matthias Clasen <matthiasc src gnome org>]

commit 1f8e7c8aabfdd75960c9713dda9252de15466908
Merge: 988901294d 671daea262
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Jul 3 04:15:12 2020 +0000

    Merge branch 'selection-filter' into 'master'
    
    Selection filter
    
    See merge request GNOME/gtk!2184

 demos/gtk-demo/demo.gresource.xml    |   1 +
 demos/gtk-demo/listview_colors.c     | 147 +++++++++++++-
 demos/gtk-demo/listview_colors.css   |   3 +
 docs/reference/gtk/gtk4-docs.xml     |   1 +
 docs/reference/gtk/gtk4-sections.txt |  13 ++
 docs/reference/gtk/gtk4.types.in     |   1 +
 gtk/gtk.h                            |   1 +
 gtk/gtkbitset.c                      |  70 +++++++
 gtk/gtkbitset.h                      |   9 +
 gtk/gtkfilterlistmodel.c             |   2 +-
 gtk/gtkselectionfiltermodel.c        | 376 +++++++++++++++++++++++++++++++++++
 gtk/gtkselectionfiltermodel.h        |  52 +++++
 gtk/meson.build                      |   2 +
 13 files changed, 676 insertions(+), 2 deletions(-)
---