mintmenu/usr/lib/linuxmint/mintMenu
2018-05-31 10:42:30 +01:00
..
plugins mint-remove-application: Don't use gksu 2018-03-13 15:05:17 +00:00
search_engines Search updates (#185) 2017-09-25 15:54:35 +02:00
applications.list Favorites: Remove pidgin, add pix, fix gnome-calculator.. 2018-05-15 15:13:06 +01:00
compile.py fix indent (#183) 2017-08-26 17:35:45 +02:00
dotted.png Initial commit 2009-07-27 12:45:34 +02:00
icon.png Generic names 2009-07-29 22:50:43 +02:00
icon.svg Generic names 2009-07-29 22:50:43 +02:00
keybinding.py fix indent (#183) 2017-08-26 17:35:45 +02:00
mint-logo.svg Changed logo back to mint logo, and added hover icon 2009-11-06 13:22:35 +00:00
mintMenu.glade glade part #1 2016-09-06 17:52:12 +01:00
mintMenu.png Initial commit 2009-07-27 12:45:34 +02:00
mintMenu.py Support correct widget sizes for HiDPI displays 2018-05-31 10:42:30 +01:00
mintMenuConfig.glade Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
mintMenuConfig.py fix indent (#183) 2017-08-26 17:35:45 +02:00
pointerMonitor.py fix indent (#183) 2017-08-26 17:35:45 +02:00
popup.xml Fixing prefs app 2013-03-08 20:06:06 -05:00
visualisation-logo.png changelog, removed copyright/USP, changed default applet icon 2010-09-23 18:38:05 +01:00