mintmenu/usr/lib/linuxmint/mintMenu
gm10 67eee16da8
- more cleanup, and speed-up
- more fixes, including many icon and encoding related issues
- replace some icons and remove compile.py
- prepare for python3 port as much as possible
2019-01-26 02:30:48 +01:00
..
plugins - more cleanup, and speed-up 2019-01-26 02:30:48 +01:00
search_engines - more cleanup, and speed-up 2019-01-26 02:30:48 +01: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.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 - more cleanup, and speed-up 2019-01-26 02:30:48 +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 - more cleanup, and speed-up 2019-01-26 02:30:48 +01:00
mintMenuConfig.glade Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
mintMenuConfig.py - more cleanup, and speed-up 2019-01-26 02:30:48 +01:00
pointerMonitor.py - more cleanup, and speed-up 2019-01-26 02:30:48 +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