Settings shortcuts : gnome-tweak-tool, dconf-editor, gconf-editor, gnome-session-properties, gnome-shell-extension-prefs, seahorse and nvidia-settings.You can add your own. Forked form http://svn.xesnet.fr/gnomeextensions