On Sat, Nov 24, 2012 at 7:02 AM, Adam Tauno Williams <awilliam@xxxxxxxxxxxxx> 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. _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list
