ui/gtk/graphics.c

changeset 118
bb21210e9cac
parent 115
102fc0b8fe3e
child 121
1cc365c34125
--- a/ui/gtk/graphics.c	Tue Jan 26 20:06:16 2016 +0100
+++ b/ui/gtk/graphics.c	Wed Jan 27 12:10:42 2016 +0100
@@ -83,6 +83,20 @@
     return TRUE;
 }
 
+void ui_drawingarea_getsize(UIWIDGET drawingarea, int *width, int *height) {
+#ifdef UI_GTK3
+        *width = gtk_widget_get_allocated_width(drawingarea);
+        *height = gtk_widget_get_allocated_height(drawingarea);
+#else
+        *width = widget->allocation.width;
+        *height = widget->allocation.height;
+#endif
+}
+
+void ui_drawingarea_redraw(UIWIDGET drawingarea) {
+    gtk_widget_queue_draw(drawingarea);
+}
+
 void ui_drawingarea_mousehandler(UiObject *obj, UIWIDGET widget, ui_callback f, void *u) {
     gtk_widget_set_events(widget, GDK_BUTTON_PRESS_MASK);
     if(f) {

mercurial