Readline: Prevent other widgets from getting focus

For issue #23.