mintmenu/usr/lib/linuxmint/mintMenu
2019-07-17 15:49:04 +02:00
..
plugins Fix default favorites not being created 2019-07-17 15:49:04 +02:00
search_engines Assorted cleanup, fixes and performance improvements (#206) 2019-02-11 13:54:20 +00:00
applications.list Favorites: Remove pidgin, add pix, fix gnome-calculator.. 2018-05-15 15:13:06 +01:00
dotted.png Initial commit 2009-07-27 12:45:34 +02:00
icon.svg Generic names 2009-07-29 22:50:43 +02:00
keybinding.py Configuration screen: Fix alignmnents and margins 2019-05-14 14:09:45 +01:00
mintMenu.py Applet icon: Add support for icon names 2019-06-13 14:41:18 +01:00
pointerMonitor.py Assorted cleanup, fixes and performance improvements (#206) 2019-02-11 13:54:20 +00:00
popup.xml Fixing prefs app 2013-03-08 20:06:06 -05:00
preferences.py Revamp preferences 2019-05-20 14:50:28 +01:00
visualisation-logo.png changelog, removed copyright/USP, changed default applet icon 2010-09-23 18:38:05 +01:00