gm10 2f1329de7d Applications: Fix keypress event handler (#205) ... * Applications: Fix keypress event handler * further fix and simplify the keypress handler * disconnect the keyPress handler when destroying the plugin		2019-01-21 15:37:01 +00:00
..
plugins	Applications: Fix keypress event handler (#205)	2019-01-21 15:37:01 +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	Don't set window decorations	2018-05-31 12:56:16 +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