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 ) ); }