Ubuntuの動画プレイヤー(totem)の履歴表示を消す

Ubuntuに付属の動画プレイヤーには「動画」メニューの中に再生履歴を表示する機能があるのですが、その履歴を消去することができません。適当に検索していたら、メニューから表示を消す方法がわかりましたので、メモしておきます。 …