Inserting a Jump Menu

How to insert a jump menu you'll know from this tutorial.