
    * X Windows version: sometimes characters dont disappear from the screen
     (Server problem?)


