-void
-resize(GtkWidget *w, GtkAllocation *a, Client *c) {
- double zoom;
-
- if(c->zoomed)
- return;
- zoom = webkit_web_view_get_zoom_level(c->view);
- if(a->width * a->height < 300 * 400 && zoom != 0.2)
- webkit_web_view_set_zoom_level(c->view, 0.2);
- else if(zoom != 1.0)
- webkit_web_view_set_zoom_level(c->view, 1.0);
-}
-