This is a WordPress plugin that puts an autocomplete search box on a post/page/custom post type editor in the admin area. It allows you to jump between posts without having to go back to the post list and search from there.