extern void WndDirtyScreenPiece( a_window *wnd, wnd_coord *piece ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, WND_NO_COL, WND_NO_COL ); }
extern void WndDirtyScreenChar( a_window *wnd, wnd_coord *piece ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, piece->col, piece->col ); }
extern void WndDirtyScreenRange( a_window *wnd, wnd_coord *piece, int end_col ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, piece->col, end_col ); }
void WndDirtyScreenPiece( a_window wnd, wnd_coord *piece ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, WND_NO_COLIDX, WND_NO_COLIDX ); }
void WndDirtyScreenChar( a_window wnd, wnd_coord *piece ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, piece->colidx, piece->colidx ); }
void WndDirtyScreenRange( a_window wnd, wnd_coord *piece, wnd_colidx end_colidx ) { DoWndDirtyScreenPiece( wnd, piece->row, piece->piece, piece->colidx, end_colidx ); }