If something is already in history, just move it first/last instead of adding it multiple times.
If something is already in history, just move it first/last instead of
adding it multiple times.

Distrotech/libgnomeui,Distrotech/libgnomeui,Distrotech/libgnomeui