modified:   extension.js
	modified:   metadata.json
	modified:   placeDisplay.js
	modified:   prefs.js
	modified:   schemas/gschemas.compiled
	modified:   schemas/org.gnome.shell.extensions.gnomenu.gschema.xml
	modified:   themes/default/gnomenu-m.css
	modified:   themes/default/gnomenu-s.css
	modified:   themes/default/gnomenu.css
	modified:   workspaceThumbnail.js