!	 $eterna: refresh_inputline,v 1.6 2002/08/29 10:24:44 mrg Exp $
!
! Copyright (c) 1990-2002  Michael Sandrof, Troy Rollo, Matthew Green,
! and other ircII contributors.
!
! All rights reserved.  See the HELP IRCII COPYRIGHT file for more
! information.
!
Usage: BIND <key> REFRESH_SCREEN
  Amazingly, this refreshes the input line, in case some other nasty
  program has munged it up.