linuxmint/Cinnamon — pull request #1249 by mtwebster (2012-10-03 22:36:02+00:00)
Title: menu applet: add a bit of extra padding during the app title width calculation

menu applet: add a bit of extra padding during the app title width calculation, to keep the scroll bar from cutting off longer titles, and the selection box.