+static void size_allocate_event(GtkWidget *widget, GtkAllocation *allocation, gpointer user_data)
+{
+ // printf("%dx%d\n", allocation->width, allocation->height);
+ if (scr_w != allocation->width - 2 || scr_h != allocation->height - 2) {
+ scr_w = allocation->width - 2;
+ scr_h = allocation->height - 2;
+ scr_changed = 1;
+ }
+}
+