restrict jump-to menu to intergers