emoji: Improve section scrolling
authorMatthias Clasen <mclasen@redhat.com>
Thu, 17 May 2018 15:37:26 +0000 (16:37 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 17 May 2018 15:42:00 +0000 (16:42 +0100)
commit84364a7ef4751fa74af0aa34686605dd76ae0a9d
tree2329be0ccd841c9d85dea8baeba220aa4067fbf4
parentdaca4b9a39b91ed4675aea9134b9041d2e210269
emoji: Improve section scrolling

Leave some space above the section heading when scrolling.

This is a part of https://gitlab.gnome.org/GNOME/gtk/merge_requests/143
by Julian Sperber.
gtk/gtkemojichooser.c