This should simplify handling of key presses that were already handled by the prompt input widget
lufte referenced this ticket in commit 753e74e.