Code

screen_*: eliminate redundant wrefresh() calls