WNDO: remove close_all_wndos.
WNDO: remove show_wndo.
WNDO: remove hide_wndo.
WNDO: remove move_wndo.