comparison: ui/qt/widget.cpp
ui/qt/widget.cpp
- changeset 549
- 63d53ce4dd67
- parent 546
- 5b00f1e55f4e
equal
deleted
inserted
replaced
| 548:198756ab2845 | 549:63d53ce4dd67 |
|---|---|
| 51 | 51 |
| 52 return separator; | 52 return separator; |
| 53 } | 53 } |
| 54 | 54 |
| 55 void ui_widget_set_size(UIWIDGET w, int width, int height) { | 55 void ui_widget_set_size(UIWIDGET w, int width, int height) { |
| 56 w->resize(width >= 0 ? width : w->width(), height >= 0 ? w->height()); | 56 w->resize(width >= 0 ? width : w->width(), height >= 0 ? height : w->height()); |
| 57 } | 57 } |
| 58 | 58 |
| 59 void ui_widget_redraw(UIWIDGET w) { | 59 void ui_widget_redraw(UIWIDGET w) { |
| 60 w->repaint(); | 60 w->repaint(); |
| 61 } | 61 } |
