extern void WndPieceDirty( a_window *wnd, wnd_row row, int piece )
{
wnd_coord coord;
WndKillCacheEntries( wnd, row, piece );
coord.row = WndScreenRow( wnd, row );
coord.piece = piece;
WndDirtyScreenPiece( wnd, &coord );
}
extern void WndRowDirtyImmed( a_window *wnd, wnd_row row )
{
int screen_row;
screen_row = WndScreenRow( wnd, row );
if( screen_row > 0 && screen_row < wnd->rows ) {
WndKillCacheEntries( wnd, row, WND_NO_PIECE );
GUIWndDirtyRow( wnd->gui, screen_row );
}
}
void WndKillCacheLines( a_window *wnd )
{
WndKillCacheEntries( wnd, WND_NO_ROW, WND_NO_PIECE );
}
extern void WndRowDirty( a_window *wnd, wnd_row row )
{
WndKillCacheEntries( wnd, row, WND_NO_PIECE );
WndDirtyScreenRow( wnd, WndScreenRow( wnd, row ) );
}