GNOMEデスクトップ環境で挙動が怪しくなったときのリセット方法

GNOMEデスクトップ環境を使っていて、画面の表示などが何かおかしくなった時に簡単に起動しているソフトなどそのままでリセットする方法があります。GNOME Shellをリスタートするという方法で、キーボードで
Alt + F2

を押して、表示されるダイアログに
r

とだけ入力してエンターキーを押します。これでGNOME Shellがリスタートされます。またこの方法では使用しているソフトはそのままの状態に保たれるようです。
実際に試したときの様子のGIFアニメは以下のとおりです。

ログインし直すというのはよくある方法ですが、だいたいの場合はこの方法でも解消するかと思います。
なお、"r"というのはコマンドではなく、Alt+F2で表示されるダイアログにおいて有効な機能のようです。なので通常の端末に"r"と入力して実行しても何も起きないでしょう。