/* Redraw window and its contents, if visible. 
This function redraws a window, if it is mapped and visible. Use this function to refresh graphics if e.g. a widget's state is changed. */
void win_redraw(struct win_window *win)
/* Redraw window and its contents, if visible. 
This function redraws a window, if it is mapped and visible. Use this function to refresh graphics if e.g. a widget's state is changed. */
void win_redraw(struct win_window *win)
{
	if (win_is_visible(win)) {
		const struct win_area *dirty_area = &win->attributes.area;
		win_draw(win, dirty_area);
	}
}