1b383c7285
If a search gives many results from various providers, the result area will be scrollable, so enable swipe-scrolling here as well. https://bugzilla.gnome.org/show_bug.cgi?id=635034 |
||
---|---|---|
.. | ||
misc | ||
perf | ||
ui | ||
Makefile.am |