Add BorderedMenuItem and use it for delete menu, with updated style#4385
Merged
benjiwheeler merged 3 commits intodevelopfrom Jan 18, 2019
Merged
Add BorderedMenuItem and use it for delete menu, with updated style#4385benjiwheeler merged 3 commits intodevelopfrom
benjiwheeler merged 3 commits intodevelopfrom