Clement Lefebvre 9f22254425 Don't set window decorations ... This works ootb with recent GTK versions now. The workaround we used creates problems when run in HiDPI (the window is misplaced and its size is twice larger).		2018-05-31 12:56:16 +01:00
..
plugins	mint-remove-application: Don't use gksu	2018-03-13 15:05:17 +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