Added more Gnome-do settings and fix mint-menu hotkey