comparison: ui/gtk/graphics.c
ui/gtk/graphics.c
- changeset 121
- 1cc365c34125
- parent 118
- bb21210e9cac
- child 140
- c03c338a7dcf
equal
deleted
inserted
replaced
| 120:49bc645df8b7 | 121:1cc365c34125 |
|---|---|
| 86 void ui_drawingarea_getsize(UIWIDGET drawingarea, int *width, int *height) { | 86 void ui_drawingarea_getsize(UIWIDGET drawingarea, int *width, int *height) { |
| 87 #ifdef UI_GTK3 | 87 #ifdef UI_GTK3 |
| 88 *width = gtk_widget_get_allocated_width(drawingarea); | 88 *width = gtk_widget_get_allocated_width(drawingarea); |
| 89 *height = gtk_widget_get_allocated_height(drawingarea); | 89 *height = gtk_widget_get_allocated_height(drawingarea); |
| 90 #else | 90 #else |
| 91 *width = widget->allocation.width; | 91 *width = drawingarea->allocation.width; |
| 92 *height = widget->allocation.height; | 92 *height = drawingarea->allocation.height; |
| 93 #endif | 93 #endif |
| 94 } | 94 } |
| 95 | 95 |
| 96 void ui_drawingarea_redraw(UIWIDGET drawingarea) { | 96 void ui_drawingarea_redraw(UIWIDGET drawingarea) { |
| 97 gtk_widget_queue_draw(drawingarea); | 97 gtk_widget_queue_draw(drawingarea); |
