void text_line_repaint(struct text_line* t) { widget_repaint(WIDGET_POINTER(t)); }
void spinbox_repaint(struct spinbox* b) { widget_repaint(WIDGET_POINTER(b)); }