In a terminal run:
dconf-editor
In the program that pops up, navigate to:
org > gnome > shell
In there, find a key called
command-history
click on it and click the
"Set to Default"
button.
You need to restart the Gnome 3 desktop by log out / log in, or by pressing
<Alt>+<F2>
and then type in the text field
r
and press
<Enter>