Re: recordMyDesktop crashes GNOME Shell?

[Ma Xiaojun <damage3025 gmail com>]

On Sat, Nov 24, 2012 at 7:02 AM, Adam Tauno Williams
<awilliam whitemice org> wrote:
> I think Shift-Ctrl-Alt-R is the better/supported option.

recordMyDesktop definitely has more functionality...

> If you really had to "killall Xorg" I wonder if you didn't crash GNOME
> Shell, but crashed X (which would just take shell with it).  If it was
> just a GNOME Shell crash then just restarting the Shell should have been
> enough (Alt+F2, r<enter>).

I tried 'r', the panel didn't show up.