JosephMcc e86e11044d Remove the ability to set a custom border ... This just doesn't work the way a user would expect under gtk3 so go ahead and remove it.		2017-05-01 13:09:09 -07:00
..
mintMenu	Remove the ability to set a custom border	2017-05-01 13:09:09 -07:00