gnome-shell/js
Jonas Dreßler 4490463513 appDisplay: Remove the top padding from folder app grid
There already is a bottom padding defined for the name container of the
folder, so remove the top padding of the appGrid and make sure we can
show a few more icons inside the folder.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1011
2020-03-08 00:42:40 +00:00
..
extensionPrefs extensionPrefs: Fix more fallout from un-templating strings 2020-02-19 19:29:21 +01:00
gdm loginDialog: Do not expand "Not listed" button 2020-02-26 19:46:50 +00:00
misc ibusManager: Ensure to spawn --xim on non-wayland sessions 2020-03-06 18:57:23 +00:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui appDisplay: Remove the top padding from folder app grid 2020-03-08 00:42:40 +00:00
js-resources.gresource.xml swipeTracker: Introduce swipe tracker 2020-01-10 18:20:22 +01:00
meson.build
portal-resources.gresource.xml
prefs-resources.gresource.xml extensionPrefs: Move description into a expander 2020-02-03 19:11:21 +01:00