theme: Add bottom padding for sub menus (!415) · Merge requests · GNOME / gnome-shell · GitLab

The source project of this merge request has been removed.

monday requested to merge (removed):add-sub-menu-bottom-padding into master Feb 23, 2019

Prevents overlapping sub menu borders with menu item background.

Closes #987 (closed)