|
void edit_render (WEdit * edit, int page, int row_start, int col_start, int row_end, int col_end)
|
|
void edit_render (WEdit * edit, int page, int row_start, int col_start, int row_end, int col_end)
|
|
if (page) /* if it was an expose event, 'page' would be set */
|
|
if (page) /* if it was an expose event, 'page' would be set */
|
|
redraw_labels (edit->widget.parent, (Widget *) edit);
|
|
redraw_labels (edit->widget.parent, (Widget *) edit);
|