mintmenu/usr/lib/linuxmint/mintMenu
2019-09-27 22:26:39 +01:00
..
plugins Applications: Fix empty apps when a category has no icon 2019-09-26 09:57:10 +01: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: Fix compatibility with symbolic pngs 2019-09-27 22:26:39 +01:00
pointerMonitor.py Assorted cleanup, fixes and performance improvements (#206) 2019-02-11 13:54:20 +00:00
popup-without-edit.xml Don't depend on a menu editor 2019-07-29 12:23:37 +02:00
popup.xml Fixing prefs app 2013-03-08 20:06:06 -05:00
preferences.py l10n: Update POT 2019-07-22 13:45:21 +02:00
visualisation-logo.png changelog, removed copyright/USP, changed default applet icon 2010-09-23 18:38:05 +01:00