Clement Lefebvre 54e695b056 Fix RecentHelper spam in logs ... When recent plugin is disabled, recentAppBox is None, resulting in errors in the logs: org.mate.panel.applet.MintMenuAppletFactory[1038]: File “/usr/lib/linuxmint/mintMenu/plugins/recentHelper.py”, line 130, in applicationButtonClicked org.mate.panel.applet.MintMenuAppletFactory[1038]: doRecentApps() org.mate.panel.applet.MintMenuAppletFactory[1038]: File “/usr/lib/linuxmint/mintMenu/plugins/recentHelper.py”, line 112, in doRecentApps org.mate.panel.applet.MintMenuAppletFactory[1038]: for i in recentAppBox.get_children(): org.mate.panel.applet.MintMenuAppletFactory[1038]: AttributeError: ‘NoneType’ object has no attribute ‘get_children’		2018-06-08 12:19:59 +01:00
..
plugins	Fix RecentHelper spam in logs	2018-06-08 12:19:59 +01: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