Another Fedora 16 + Gnome 3.2 question!?

[Alan Evans]

On Thu, Jan 5, 2012 at 12:34 AM, Olav Vitters wrote:

>> And what, pray tell, does 'r' do?
>
> restart gnome-shell (keeps existing applications; state is not perfectly
> preserved). Quicker than rebooting the entire machine just to see the
> changes you made to gnome-shell.

A *one* *letter* command to restart the shell?!? That seems like a
horrible mis-feature, like something I might key in accidentally.

Did developers really think that restarting GNOME-shell would be so
common that it justified a single char shortcut?

-Alan