Improve scrolling in summary_key_pressed().