mintmenu/usr/lib/linuxmint/mintMenu
2017-06-27 09:01:18 +01:00
..
plugins Recent: Expand plugin to fill empty space 2017-06-27 09:01:18 +01:00
search_engines Search engines: Replace Google CSE with DDG 2016-11-23 15:13:29 +00:00
applications.list Add Cinnamon support 2016-12-07 01:43:01 +00:00
compile.py Coerse shebangs to #!/usr/bin/python2 2015-06-25 17:44:30 -07: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 windows-key global keybinding. (#172) 2017-05-05 16:09:26 +01: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 Add exception handling around keybinder 2017-06-12 15:44:24 +01:00
mintMenuConfig.glade Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
mintMenuConfig.py Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
pointerMonitor.py Remove more ctypes 2017-04-28 12:45:07 +01: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